Rahul Sharma

96 papers A* 27A 7B 4C 1Misc 2Journal 49Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Communication Efficient Secure and Private Multi-Party Deep Learning.
Proc. Priv. Enhancing Technol.
Sankha Das, Sayak Ray Chowdhury, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
2025 J jnl
DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning.
CoRR
Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma
2025 J jnl
Enterprise AI Must Enforce Participant-Aware Access Control.
CoRR
Shashank Shreedhar Bhatt, Tanmay Rajore, Khushboo Aggarwal, Ganesh Ananthanarayanan, Ranveer Chandra, Nishanth Chandran, Suyash Choudhury, Divya Gupta, Emre Kiciman, Sumit Kumar Pandey, Srinath T. V. Setty, Rahul Sharma, Teijia Zhao
2025 J jnl
Equivalence Checking of ML GPU Kernels.
CoRR
Kshitij Dubey, Benjamin Driscoll, Anjiang Wei, Neeraj Kayal, Rahul Sharma, Alex Aiken
2025 A* conf
LLM Assistance for Memory Safety.
ICSE
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
2025 J jnl
Matchmaker: Fast Secure Inference across Deployment Scenarios.
IACR Cryptol. ePrint Arch.
Neha Jawalkar, Nishanth Chandran, Divya Gupta, Rahul Sharma, Arkaprava Basu
2025 A* conf
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation.
ICML
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Risa Ueno, Fabian Falck, Aditya V. Nori, Rahul Sharma, Amit Sharma, Javier González
2025 J jnl
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation.
CoRR
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Risa Ueno, Fabian Falck, Aditya V. Nori, Rahul Sharma, Amit Sharma, Javier González
2025 A* conf
SHARK: Actively Secure Inference Using Function Secret Sharing.
SP
Kanav Gupta, Nishanth Chandran, Divya Gupta, Jonathan Katz, Rahul Sharma
2025 J jnl
Shark: Actively Secure Inference using Function Secret Sharing.
IACR Cryptol. ePrint Arch.
Kanav Gupta, Nishanth Chandran, Divya Gupta, Jonathan Katz, Rahul Sharma
2024 J jnl
Communication Efficient Secure and Private Multi-Party Deep Learning.
IACR Cryptol. ePrint Arch.
Sankha Das, Sayak Ray Chowdhury, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma
2024 J jnl
Enabling Memory Safety of C Programs using LLMs.
CoRR
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 B conf
Leveraging LLMs for Program Verification.
FMCAD
Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 A* conf
Orca: FSS-based Secure Training and Inference with GPUs.
SP
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2024 J jnl
Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs.
CoRR
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Manohar Swaminathan
2024 J jnl
SIGMA: Secure GPT Inference with Function Secret Sharing.
Proc. Priv. Enhancing Technol.
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
2023 J jnl
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets.
IACR Cryptol. ePrint Arch.
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
2023 J jnl
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets.
Proc. Priv. Enhancing Technol.
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
2023 J jnl
Finding Inductive Loop Invariants using Large Language Models.
CoRR
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2023 B conf
MinUn: Accurate ML Inference on Microcontrollers.
LCTES
Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma
2023 J jnl
Orca: FSS-based Secure Training with GPUs.
IACR Cryptol. ePrint Arch.
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
2023 — conf
Ranking LLM-Generated Loop Invariants for Program Verification.
EMNLP (Findings)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Ranking LLM-Generated Loop Invariants for Program Verification.
CoRR
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
SIGMA: Secure GPT Inference with Function Secret Sharing.
IACR Cryptol. ePrint Arch.
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
2023 A* conf
Secure Floating-Point Training.
USENIX Security Symposium
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
2023 J jnl
Secure Floating-Point Training.
IACR Cryptol. ePrint Arch.
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
2023 J jnl
StaticFixer: From Static Analysis to Static Repair.
CoRR
Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2023 J jnl
Training with Mixed-Precision Floating-Point Assignments.
CoRR
Wonyeol Lee, Rahul Sharma, Alex Aiken
2023 J jnl
Training with Mixed-Precision Floating-Point Assignments.
Trans. Mach. Learn. Res.
Wonyeol Lee, Rahul Sharma, Alex Aiken
2022 J jnl
Efficient ML Models for Practical Secure Inference.
CoRR
Vinod Ganesan, Anwesh Bhattacharya, Pratyush Kumar, Divya Gupta, Rahul Sharma, Nishanth Chandran
2022 A* conf
Jigsaw: Large Language Models meet Program Synthesis.
ICSE
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2022 J jnl
MinUn: Accurate ML Inference on Microcontrollers.
CoRR
Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma
2022 A* conf
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation.
SP
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
2022 J jnl
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation.
IACR Cryptol. ePrint Arch.
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
2021 J jnl
Jigsaw: Large Language Models meet Program Synthesis.
CoRR
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
2021 B conf
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications.
FPL
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
2021 J jnl
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications.
CoRR
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
2021 J jnl
Production-level Open Source Privacy Preserving Inference in Medical Imaging.
CoRR
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P. Lungren
2021 J jnl
SIRNN: A Math Library for Secure RNN Inference.
CoRR
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
2021 J jnl
SIRNN: A Math Library for Secure RNN Inference.
IACR Cryptol. ePrint Arch.
Deevashwer Rathee, Mayank Rathee, G. Rahul Kranti Kiran, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
2021 A* conf
SiRnn: A Math Library for Secure RNN Inference.
SP
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
2020 A* conf
CrypTFlow2: Practical 2-Party Secure Inference.
CCS
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2020 J jnl
CrypTFlow2: Practical 2-Party Secure Inference.
CoRR
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2020 J jnl
CrypTFlow2: Practical 2-Party Secure Inference.
IACR Cryptol. ePrint Arch.
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2020 A* conf
CrypTFlow: Secure TensorFlow Inference.
SP
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2020 J jnl
Secure Medical Image Analysis with CrypTFlow.
CoRR
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
2020 J jnl
Shiftry: RNN inference in 2KB of RAM.
Proc. ACM Program. Lang.
Aayan Kumar, Vivek Seshadri, Rahul Sharma
2019 A* conf
Compiling KB-sized machine learning models to tiny IoT devices.
PLDI
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
2019 J jnl
CrypTFlow: Secure TensorFlow Inference.
CoRR
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2019 J jnl
CrypTFlow: Secure TensorFlow Inference.
IACR Cryptol. ePrint Arch.
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
2019 A conf
Eventually Sound Points-To Analysis with Specifications.
ECOOP
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
2019 A conf
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning.
EuroS&P
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
2019 C conf
Low-cost aerial imaging for small holder farmers.
COMPASS
Aditya Jain, Zerina Kapetanovic, Akshit Kumar, Vasuki Narasimha Swamy, Rohit Patil, Deepak Vasisht, Rahul Sharma, Manohar Swaminathan, Ranveer Chandra, Anirudh Badam, Gireeja Ranade, Sudipta N. Sinha, Akshay Uttama Nambi
2019 J jnl
OASIS: ILP-Guided Synthesis of Loop Invariants.
CoRR
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain
2019 J jnl
Overfitting in Synthesis: Theory and Practice (Extended Version).
CoRR
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 — conf
Overfitting in Synthesis: Theory and Practice.
CAV (1)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 A* conf
Semantic program alignment for equivalence checking.
PLDI
Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
2018 A* conf
Active learning of points-to specifications.
PLDI
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2018 Misc conf
Fall-curve: A novel primitive for IoT Fault Detection and Isolation.
SenSys
Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic, Jonathan Appavoo
2018 J jnl
On automatically proving the correctness of math.h implementations.
Proc. ACM Program. Lang.
Wonyeol Lee, Rahul Sharma, Alex Aiken
2018 A* conf
Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time.
WWW
Chantat Eksombatchai, Pranav Jindal, Jerry Zitao Liu, Yuchen Liu, Rahul Sharma, Charles Sugnet, Mark Ulrich, Jure Leskovec
2018 Misc conf
Sensor Identification and Fault Detection in IoT Systems.
SenSys
Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic
2017 J jnl
Active Learning of Points-To Specifications.
CoRR
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2017 J jnl
Eventually Sound Points-To Analysis with Missing Code.
CoRR
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
2017 J jnl
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation.
IACR Cryptol. ePrint Arch.
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
2017 J jnl
Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time.
CoRR
Chantat Eksombatchai, Pranav Jindal, Jerry Zitao Liu, Yuchen Liu, Rahul Sharma, Charles Sugnet, Mark Ulrich, Jure Leskovec
2017 J jnl
Seam: provably safe local edits on graphs.
Proc. ACM Program. Lang.
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
2017 A* conf
Sound Loop Superoptimization for Google Native Client.
ASPLOS
Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
2017 A* conf
Synthesizing program input grammars.
PLDI
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2016 A* conf
Data-driven precondition inference with learned features.
PLDI
Saswat Padhi, Rahul Sharma, Todd D. Millstein
2016 — —
Data-driven verification.
Rahul Sharma
2016 A conf
Dependent partitioning.
OOPSLA
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
2016 J jnl
From invariant checking to invariant inference using randomized search.
Formal Methods Syst. Des.
Rahul Sharma, Alex Aiken
2016 A* conf
Inferring annotations for device drivers from verification histories.
ASE
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
2016 J jnl
Stochastic program optimization.
Commun. ACM
Eric Schkufza, Rahul Sharma, Alex Aiken
2016 A* conf
Stratified synthesis: automatically learning the x86-64 instruction set.
PLDI
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
2016 J jnl
Synthesizing Program Input Grammars.
CoRR
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2016 A* conf
Verifying bit-manipulations of floating-point.
PLDI
Wonyeol Lee, Rahul Sharma, Alex Aiken
2015 A conf
Conditionally correct superoptimization.
OOPSLA
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
2015 A* conf
Verification of producer-consumer synchronization in GPU programs.
PLDI
Rahul Sharma, Michael Bauer, Alex Aiken
2014 A* conf
Bias-variance tradeoffs in program analysis.
POPL
Rahul Sharma, Aditya V. Nori, Alex Aiken
2014 A* conf
From Invariant Checking to Invariant Inference Using Randomized Search.
CAV
Rahul Sharma, Alex Aiken
2014 A* conf
Stochastic optimization of floating-point programs with tunable precision.
PLDI
Eric Schkufza, Rahul Sharma, Alex Aiken
2013 A conf
A Data Driven Approach for Algebraic Loop Invariants.
ESOP
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
2013 A conf
Data-driven equivalence checking.
OOPSLA
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
2013 — conf
Differential assertion checking.
ESEC/SIGSOFT FSE
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel
2013 A* conf
Stochastic superoptimization.
ASPLOS
Eric Schkufza, Rahul Sharma, Alex Aiken
2013 — conf
Termination proofs from tests.
ESEC/SIGSOFT FSE
Aditya V. Nori, Rahul Sharma
2013 B conf
Verification as Learning Geometric Concepts.
SAS
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
2012 A conf
Information-Flow Control for Programming on Encrypted Data.
CSF
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012 J jnl
Information-flow control for programming on encrypted data.
IACR Cryptol. ePrint Arch.
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012 A* conf
Interpolants as Classifiers.
CAV
Rahul Sharma, Aditya V. Nori, Alex Aiken
2012 J jnl
Stochastic Superoptimization
CoRR
Eric Schkufza, Rahul Sharma, Alex Aiken
2011 — conf
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).
FSTTCS
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011 J jnl
A Domain-Specific Language for Computing on Encrypted Data.
IACR Cryptol. ePrint Arch.
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2011 A* conf
Simplifying Loop Invariant Generation Using Splitter Predicates.
CAV
Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken