Simplifying Loop Invariant Generation Using Splitter Predicates. - Rahul Sharma 001; Isil Dillig; Thomas Dillig; Alex Aiken (CAV, 2011)

A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). - Alex Bain; John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (FSTTCS, 2011)

A Domain-Specific Language for Computing on Encrypted Data. - Alex Bain; John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (IACR Cryptol. ePrint Arch., 2011)

Interpolants as Classifiers. - Rahul Sharma 001; Aditya V. Nori; Alex Aiken (CAV, 2012)

Information-flow control for programming on encrypted data. - John C. Mitchell; Rahul Sharma 001; Deian Stefan; Joe Zimmerman (IACR Cryptol. ePrint Arch., 2012)

Stochastic superoptimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (ASPLOS, 2013)

A Data Driven Approach for Algebraic Loop Invariants. - Rahul Sharma 001; Saurabh Gupta 001; Bharath Hariharan; Alex Aiken; Percy Liang; Aditya V. Nori (ESOP, 2013)

Data-driven equivalence checking. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2013)

Verification as Learning Geometric Concepts. - Rahul Sharma 001; Saurabh Gupta 001; Bharath Hariharan; Alex Aiken; Aditya V. Nori (SAS, 2013)

Differential assertion checking. - Shuvendu K. Lahiri; Kenneth L. McMillan; Rahul Sharma 001; Chris Hawblitzel (ESEC/SIGSOFT FSE, 2013)

Termination proofs from tests. - Aditya V. Nori; Rahul Sharma 001 (ESEC/SIGSOFT FSE, 2013)

Stochastic optimization of floating-point programs with tunable precision. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2014)

Bias-variance tradeoffs in program analysis. - Rahul Sharma 001; Aditya V. Nori; Alex Aiken (POPL, 2014)

Conditionally correct superoptimization. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2015)

Verification of producer-consumer synchronization in GPU programs. - Rahul Sharma 001; Michael Bauer 001; Alex Aiken (PLDI, 2015)

Inferring annotations for device drivers from verification histories. - Zvonimir Pavlinovic; Akash Lal; Rahul Sharma 001 (ASE, 2016)

Dependent partitioning. - Sean Treichler; Michael Bauer 001; Rahul Sharma 001; Elliott Slaughter; Alex Aiken (OOPSLA, 2016)

Stratified synthesis: automatically learning the x86-64 instruction set. - Stefan Heule; Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

Verifying bit-manipulations of floating-point. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

Data-driven precondition inference with learned features. - Saswat Padhi; Rahul Sharma 001; Todd D. Millstein (PLDI, 2016)

Stochastic program optimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (Commun. ACM, 2016)

From invariant checking to invariant inference using randomized search. - Rahul Sharma 001; Alex Aiken (Formal Methods Syst. Des., 2016)

Data-driven verification. - Rahul Sharma 001 (2016)

Sound Loop Superoptimization for Google Native Client. - Berkeley R. Churchill; Rahul Sharma 001; J. F. Bastien; Alex Aiken (ASPLOS, 2017)

Synthesizing program input grammars. - Osbert Bastani; Rahul Sharma 001; Alex Aiken; Percy Liang (PLDI, 2017)

Eventually Sound Points-To Analysis with Missing Code. - Osbert Bastani; Lazaro Clapp; Saswat Anand; Rahul Sharma 001; Alex Aiken (CoRR, 2017)

EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation. - Nishanth Chandran; Divya Gupta 001; Aseem Rastogi; Rahul Sharma 001; Shardul Tripathi (IACR Cryptol. ePrint Arch., 2017)

Seam: provably safe local edits on graphs. - Manolis Papadakis; Gilbert Louis Bernstein; Rahul Sharma 001; Alex Aiken; Pat Hanrahan (Proc. ACM Program. Lang., 2017)

Active learning of points-to specifications. - Osbert Bastani; Rahul Sharma 001; Alex Aiken; Percy Liang (PLDI, 2018)

Fall-curve: A novel primitive for IoT Fault Detection and Isolation. - Tusher Chakraborty; Akshay Uttama Nambi; Ranveer Chandra; Rahul Sharma 001; Manohar Swaminathan 001; Zerina Kapetanovic; Jonathan Appavoo (SenSys, 2018)

Sensor Identification and Fault Detection in IoT Systems. - Tusher Chakraborty; Akshay Uttama Nambi; Ranveer Chandra; Rahul Sharma 001; Manohar Swaminathan 001; Zerina Kapetanovic (SenSys, 2018)

Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time. - Chantat Eksombatchai; Pranav Jindal; Jerry Zitao Liu; Yuchen Liu; Rahul Sharma 001; Charles Sugnet; Mark Ulrich; Jure Leskovec (WWW, 2018)

On automatically proving the correctness of math.h implementations. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (Proc. ACM Program. Lang., 2018)

Overfitting in Synthesis: Theory and Practice. - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CAV (1), 2019)

Low-cost aerial imaging for small holder farmers. - Aditya Jain; Zerina Kapetanovic; Akshit Kumar; Vasuki Narasimha Swamy; Rohit Patil; Deepak Vasisht; Rahul Sharma 001; Manohar Swaminathan 001; Ranveer Chandra; Anirudh Badam; Gireeja Ranade; Sudipta N. Sinha; et al. (COMPASS, 2019)

Eventually Sound Points-To Analysis with Specifications. - Osbert Bastani; Rahul Sharma 001; Lazaro Clapp; Saswat Anand; Alex Aiken (ECOOP, 2019)

EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. - Nishanth Chandran; Divya Gupta 001; Aseem Rastogi; Rahul Sharma 001; Shardul Tripathi (EuroS&P, 2019)

Semantic program alignment for equivalence checking. - Berkeley R. Churchill; Oded Padon; Rahul Sharma 001; Alex Aiken (PLDI, 2019)

Compiling KB-sized machine learning models to tiny IoT devices. - Sridhar Gopinath; Nikhil Ghanathe; Vivek Seshadri; Rahul Sharma 001 (PLDI, 2019)

Overfitting in Synthesis: Theory and Practice (Extended Version). - Saswat Padhi; Todd D. Millstein; Aditya V. Nori; Rahul Sharma 001 (CoRR, 2019)

OASIS: ILP-Guided Synthesis of Loop Invariants. - Sahil Bhatia; Saswat Padhi; Nagarajan Natarajan; Rahul Sharma 001; Prateek Jain 002 (CoRR, 2019)

CrypTFlow: Secure TensorFlow Inference. - Nishant Kumar 001; Mayank Rathee; Nishanth Chandran; Divya Gupta 001; Aseem Rastogi; Rahul Sharma 001 (IACR Cryptol. ePrint Arch., 2019)

Secure Medical Image Analysis with CrypTFlow. - Javier Alvarez-Valle; Pratik Bhatu; Nishanth Chandran; Divya Gupta 001; Aditya V. Nori; Aseem Rastogi; Mayank Rathee; Rahul Sharma 001; Shubham Ugare (CoRR, 2020)

CrypTFlow2: Practical 2-Party Secure Inference. - Deevashwer Rathee; Mayank Rathee; Nishant Kumar 001; Nishanth Chandran; Divya Gupta 001; Aseem Rastogi; Rahul Sharma 001 (IACR Cryptol. ePrint Arch., 2020)

Shiftry: RNN inference in 2KB of RAM. - Aayan Kumar; Vivek Seshadri; Rahul Sharma 001 (Proc. ACM Program. Lang., 2020)

MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. - Nikhil Pratap Ghanathe; Vivek Seshadri; Rahul Sharma 001; Steve Wilton; Aayan Kumar (FPL, 2021)

SiRnn: A Math Library for Secure RNN Inference. - Deevashwer Rathee; Mayank Rathee; Rahul Kranti Kiran Goli; Divya Gupta 001; Rahul Sharma 001; Nishanth Chandran; Aseem Rastogi (SP, 2021)

Production-level Open Source Privacy Preserving Inference in Medical Imaging. - Arjun Soin; Pratik Bhatu; Rohit Takhar; Nishanth Chandran; Divya Gupta 001; Javier Alvarez-Valle; Rahul Sharma 001; Vidur Mahajan; Matthew P. Lungren (CoRR, 2021)

SIRNN: A Math Library for Secure RNN Inference. - Deevashwer Rathee; Mayank Rathee; G. Rahul Kranti Kiran; Divya Gupta 001; Rahul Sharma 001; Nishanth Chandran; Aseem Rastogi (IACR Cryptol. ePrint Arch., 2021)

Jigsaw: Large Language Models meet Program Synthesis. - Naman Jain; Skanda Vaidyanath; Arun Iyer; Nagarajan Natarajan; Suresh Parthasarathy; Sriram K. Rajamani; Rahul Sharma 001 (ICSE, 2022)

Efficient ML Models for Practical Secure Inference. - Vinod Ganesan; Anwesh Bhattacharya; Pratyush Kumar; Divya Gupta 001; Rahul Sharma 001; Nishanth Chandran (CoRR, 2022)

SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. - Deevashwer Rathee; Anwesh Bhattacharya; Rahul Sharma 001; Divya Gupta 001; Nishanth Chandran; Aseem Rastogi (IACR Cryptol. ePrint Arch., 2022)

Ranking LLM-Generated Loop Invariants for Program Verification. - Saikat Chakraborty; Shuvendu K. Lahiri; Sarah Fakhoury; Akash Lal; Madanlal Musuvathi; Aseem Rastogi; Aditya Senthilnathan; Rahul Sharma 001; Nikhil Swamy (EMNLP (Findings), 2023)

MinUn: Accurate ML Inference on Microcontrollers. - Shikhar Jaiswal; Rahul Kranti Kiran Goli; Aayan Kumar; Vivek Seshadri; Rahul Sharma 001 (LCTES, 2023)

StaticFixer: From Static Analysis to Static Repair. - Naman Jain; Shubham Gandhi; Atharv Sonwane; Aditya Kanade 001; Nagarajan Natarajan; Suresh Parthasarathy; Sriram K. Rajamani; Rahul Sharma 001 (CoRR, 2023)

Finding Inductive Loop Invariants using Large Language Models. - Adharsh Kamath; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2023)

Orca: FSS-based Secure Training with GPUs. - Neha Jawalkar; Kanav Gupta; Arkaprava Basu; Nishanth Chandran; Divya Gupta 001; Rahul Sharma 001 (IACR Cryptol. ePrint Arch., 2023)

Secure Floating-Point Training. - Deevashwer Rathee; Anwesh Bhattacharya; Divya Gupta 001; Rahul Sharma 001; Dawn Song (IACR Cryptol. ePrint Arch., 2023)

Training with Mixed-Precision Floating-Point Assignments. - Wonyeol Lee 001; Rahul Sharma 001; Alex Aiken (Trans. Mach. Learn. Res., 2023)

End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets. - Gauri Gupta; Krithika Ramesh; Anwesh Bhattacharya; Divya Gupta 001; Rahul Sharma 001; Nishanth Chandran; Rijurekha Sen (Proc. Priv. Enhancing Technol., 2023)

Leveraging LLMs for Program Verification. - Adharsh Kamath; Nausheen Mohammed; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (FMCAD, 2024)

Orca: FSS-based Secure Training and Inference with GPUs. - Neha Jawalkar; Kanav Gupta; Arkaprava Basu; Nishanth Chandran; Divya Gupta 001; Rahul Sharma 001 (SP, 2024)

Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs. - Nishanth Chandran; Sunayana Sitaram; Divya Gupta 001; Rahul Sharma 001; Kashish Mittal; Manohar Swaminathan 001 (CoRR, 2024)

Enabling Memory Safety of C Programs using LLMs. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2024)

SIGMA: Secure GPT Inference with Function Secret Sharing. - Kanav Gupta; Neha Jawalkar; Ananta Mukherjee; Nishanth Chandran; Divya Gupta 001; Ashish Panwar; Rahul Sharma 001 (Proc. Priv. Enhancing Technol., 2024)

LLM Assistance for Memory Safety. - Nausheen Mohammed; Akash Lal; Aseem Rastogi; Rahul Sharma 001; Subhajit Roy 001 (ICSE, 2025)

Shark: Actively Secure Inference using Function Secret Sharing. - Kanav Gupta; Nishanth Chandran; Divya Gupta 001; Jonathan Katz; Rahul Sharma 001 (IACR Cryptol. ePrint Arch., 2025)

Matchmaker: Fast Secure Inference across Deployment Scenarios. - Neha Jawalkar; Nishanth Chandran; Divya Gupta 001; Rahul Sharma 001; Arkaprava Basu (IACR Cryptol. ePrint Arch., 2025)

Communication Efficient Secure and Private Multi-Party Deep Learning. - Sankha Das; Sayak Ray Chowdhury; Nishanth Chandran; Divya Gupta 001; Satya Lokam; Rahul Sharma 001 (Proc. Priv. Enhancing Technol., 2025)

RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation. - Xinnuo Xu; Rachel Lawrence; Kshitij Dubey; Atharva Pandey; Risa Ueno; Fabian Falck; Aditya V. Nori; Rahul Sharma 001; Amit Sharma; Javier Gonzalez (CoRR, 2025)