Rahul Sharma

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 61

Top Topics

Randomized Search

Machine Learning

Stochastic Optimization

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Enabling Memory Safety of C Programs using LLMs. CoRR (2024)
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
SIGMA: Secure GPT Inference with Function Secret Sharing. Proc. Priv. Enhancing Technol. 2024 (4) (2024)
Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Manohar Swaminathan
Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs. CoRR (2024)
Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma
Orca: FSS-based Secure Training with GPUs. IACR Cryptol. ePrint Arch. 2023 (2023)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. CoRR (2023)
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Secure Floating-Point Training. USENIX Security Symposium (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. CoRR (2023)
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets. Proc. Priv. Enhancing Technol. 2023 (4) (2023)
Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma
MinUn: Accurate ML Inference on Microcontrollers. LCTES (2023)
Gauri Gupta, Krithika Ramesh, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Nishanth Chandran, Rijurekha Sen
End-to-end Privacy Preserving Training and Inference for Air Pollution Forecasting with Data from Rival Fleets. IACR Cryptol. ePrint Arch. 2023 (2023)
Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song
Secure Floating-Point Training. IACR Cryptol. ePrint Arch. 2023 (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. 2023 (2023)
Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
StaticFixer: From Static Analysis to Static Repair. CoRR (2023)
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Finding Inductive Loop Invariants using Large Language Models. CoRR (2023)
Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma
SIGMA: Secure GPT Inference with Function Secret Sharing. IACR Cryptol. ePrint Arch. 2023 (2023)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) (2023)
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. IEEE Symposium on Security and Privacy (2022)
Shikhar Jaiswal, Rahul Kiran Kranti Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma
MinUn: Accurate ML Inference on Microcontrollers. CoRR (2022)
Vinod Ganesan, Anwesh Bhattacharya, Pratyush Kumar, Divya Gupta, Rahul Sharma, Nishanth Chandran
Efficient ML Models for Practical Secure Inference. CoRR (2022)
Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. IACR Cryptol. ePrint Arch. 2022 (2022)
Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
Jigsaw: Large Language Models meet Program Synthesis. ICSE (2022)
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
SiRnn: A Math Library for Secure RNN Inference. IEEE Symposium on Security and Privacy (2021)
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. FPL (2021)
Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
Jigsaw: Large Language Models meet Program Synthesis. CoRR (2021)
Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P. Lungren
Production-level Open Source Privacy Preserving Inference in Medical Imaging. CoRR (2021)
Deevashwer Rathee, Mayank Rathee, G. Rahul Kranti Kiran, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
SIRNN: A Math Library for Secure RNN Inference. IACR Cryptol. ePrint Arch. 2021 (2021)
Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi
SIRNN: A Math Library for Secure RNN Inference. CoRR (2021)
Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. CoRR (2021)
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow2: Practical 2-Party Secure Inference. IACR Cryptol. ePrint Arch. 2020 (2020)
Aayan Kumar, Vivek Seshadri, Rahul Sharma
Shiftry: RNN inference in 2KB of RAM. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow2: Practical 2-Party Secure Inference. CCS (2020)
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
Secure Medical Image Analysis with CrypTFlow. CoRR (2020)
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow2: Practical 2-Party Secure Inference. CoRR (2020)
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow: Secure TensorFlow Inference. IEEE Symposium on Security and Privacy (2020)
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow: Secure TensorFlow Inference. IACR Cryptol. ePrint Arch. 2019 (2019)
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. EuroS&P (2019)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
Overfitting in Synthesis: Theory and Practice. CAV (1) (2019)
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain
OASIS: ILP-Guided Synthesis of Loop Invariants. CoRR (2019)
Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
Semantic program alignment for equivalence checking. PLDI (2019)
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
Compiling KB-sized machine learning models to tiny IoT devices. PLDI (2019)
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma
CrypTFlow: Secure TensorFlow Inference. CoRR (2019)
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
Eventually Sound Points-To Analysis with Specifications. ECOOP (2019)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
Overfitting in Synthesis: Theory and Practice (Extended Version). CoRR (2019)
Chantat Eksombatchai, Pranav Jindal, Jerry Zitao Liu, Yuchen Liu, Rahul Sharma, Charles Sugnet, Mark Ulrich, Jure Leskovec
Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time. WWW (2018)
Wonyeol Lee, Rahul Sharma, Alex Aiken
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2 (POPL) (2018)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Active learning of points-to specifications. PLDI (2018)
Chantat Eksombatchai, Pranav Jindal, Jerry Zitao Liu, Yuchen Liu, Rahul Sharma, Charles Sugnet, Mark Ulrich, Jure Leskovec
Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time. CoRR (2017)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Synthesizing program input grammars. PLDI (2017)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Active Learning of Points-To Specifications. CoRR (2017)
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation. IACR Cryptol. ePrint Arch. 2017 (2017)
Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
Sound Loop Superoptimization for Google Native Client. ASPLOS (2017)
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
Eventually Sound Points-To Analysis with Missing Code. CoRR (2017)
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Inferring annotations for device drivers from verification histories. ASE (2016)
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
Dependent partitioning. OOPSLA (2016)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Verifying bit-manipulations of floating-point. PLDI (2016)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic program optimization. Commun. ACM 59 (2) (2016)
Saswat Padhi, Rahul Sharma, Todd D. Millstein
Data-driven precondition inference with learned features. PLDI (2016)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Synthesizing Program Input Grammars. CoRR (2016)
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
Stratified synthesis: automatically learning the x86-64 instruction set. PLDI (2016)
Rahul Sharma, Alex Aiken
From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. 48 (3) (2016)
Rahul Sharma, Michael Bauer, Alex Aiken
Verification of producer-consumer synchronization in GPU programs. PLDI (2015)
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Conditionally correct superoptimization. OOPSLA (2015)
Rahul Sharma, Alex Aiken
From Invariant Checking to Invariant Inference Using Randomized Search. CAV (2014)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic optimization of floating-point programs with tunable precision. PLDI (2014)
Rahul Sharma, Aditya V. Nori, Alex Aiken
Bias-variance tradeoffs in program analysis. POPL (2014)
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
A Data Driven Approach for Algebraic Loop Invariants. ESOP (2013)
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel
Differential assertion checking. ESEC/SIGSOFT FSE (2013)
Aditya V. Nori, Rahul Sharma
Termination proofs from tests. ESEC/SIGSOFT FSE (2013)
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Data-driven equivalence checking. OOPSLA (2013)
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
Verification as Learning Geometric Concepts. SAS (2013)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic superoptimization. ASPLOS (2013)
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
Information-Flow Control for Programming on Encrypted Data. CSF (2012)
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
Information-flow control for programming on encrypted data. IACR Cryptol. ePrint Arch. 2012 (2012)
Rahul Sharma, Aditya V. Nori, Alex Aiken
Interpolants as Classifiers. CAV (2012)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic Superoptimization CoRR (2012)
Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken
Simplifying Loop Invariant Generation Using Splitter Predicates. CAV (2011)
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS (2011)
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptol. ePrint Arch. 2011 (2011)