Publication Hardening Attack Surfaces with Formally Proven Binary Format Parsers Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta 2022 Programming Language Design and Implementation | June 2022 Project
Publication Leveraging Question Answering to Understand Context Specific Patterns in Fact Checked Articles in the Global South Arshia Arya, Saloni Dash, Syeda Zainab Akbar, Joyojeet Pal, Anirban Sen COMPASS 2022 | June 2022 Project
Publication Circuit-PSI with Linear Complexity via Relaxed Batch OPPRF Nishanth Chandran, Divya Gupta, Akash Shah 22nd Privacy Enhancing Technologies Symposium (PETS 2022) | June 2022 Project
Publication Sophistication with Limitation: Understanding Smartphone Usage by Emergent Users in India Meghna Gupta, Devansh Mehta, Anandita Punj, Indrani Medhi Thies ACM COMPASS | June 2022
Publication Landmarks and Regions: A Robust Approach to Data Extraction Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza Programming Language Design and Implementation (PLDI) | June 2022
Publication DISMISS: Database of Indian Social Media Influencers on Twitter Arshia Arya, Soham De, Dibyendu Mishra, Gazal Shekhawat, Ankur Sharma, Anmol Panda, Faisal Lalani, Parantak Singh, Ramaravind Kommiya Mothilal, Rynaa Grover, Sachita Nishal, Saloni Dash, Shehla Shora, Syeda Zainab Akbar, Joyojeet Pal International AAAI Conference on Web and Social Media | May 2022 Project
Publication DeepAnalyze: Learning to Localize Crashes at Scale Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari ICSE 2022 | May 2022 Project
Publication Jigsaw: Large Language Models meet Program Synthesis Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma International Conference on Software Engineering (ICSE) | May 2022 Github Project Project
Publication SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi 43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022 Project
Publication A Piece-wise Polynomial Filtering Approach for Graph Neural Networks Vijay Lingam, Chanakya Ekbote, Manan Sharma, Rahul Ragesh, Arun Iyer, Sundararajan Sellamanickam ICLR 2022 Workshop on Geometrical and Topological Representation Learning (GTRL-ICLR) | May 2022 Github