Rahul Sharma

According to our database, Rahul Sharma authored at least 62 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs.

Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Manohar Swaminathan

CoRR, 2024

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, Rahul Sharma, Nishanth Chandran, Rijurekha Sen

Proc. Priv. Enhancing Technol., October, 2023

Secure Floating-Point Training.

Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song

IACR Cryptol. ePrint Arch., 2023

Orca: FSS-based Secure Training with GPUs.

Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma

IACR Cryptol. ePrint Arch., 2023

SIGMA: Secure GPT Inference with Function Secret Sharing.

Kanav Gupta, Neha Jawalkar, Ananta Mukherjee, Nishanth Chandran, Divya Gupta, Ashish Panwar, Rahul Sharma

IACR Cryptol. ePrint Arch., 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, Rahul Sharma

CoRR, 2023

StaticFixer: From Static Analysis to Static Repair.

Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma

CoRR, 2023

Training with Mixed-Precision Floating-Point Assignments.

Wonyeol Lee, Rahul Sharma, Alex Aiken

CoRR, 2023

MinUn: Accurate ML Inference on Microcontrollers.

Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

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, Nikhil Swamy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

SecFloat: Accurate Floating-Point meets Secure 2-Party Computation.

Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi

IACR Cryptol. ePrint Arch., 2022

Efficient ML Models for Practical Secure Inference.

Vinod Ganesan, Anwesh Bhattacharya, Pratyush Kumar, Divya Gupta, Rahul Sharma, Nishanth Chandran

CoRR, 2022

Jigsaw: Large Language Models meet Program Synthesis.

Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

SIRNN: A Math Library for Secure RNN Inference.

Deevashwer Rathee, Mayank Rathee, G. Rahul Kranti Kiran, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi

IACR Cryptol. ePrint Arch., 2021

Production-level Open Source Privacy Preserving Inference in Medical Imaging.

Arjun Soin, Pratik Bhatu, Rohit Takhar, Nishanth Chandran, Divya Gupta, Javier Alvarez-Valle, Rahul Sharma, Vidur Mahajan, Matthew P. Lungren

CoRR, 2021

SiRnn: A Math Library for Secure RNN Inference.

Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications.

Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2020

Shiftry: RNN inference in 2KB of RAM.

Aayan Kumar, Vivek Seshadri, Rahul Sharma

Proc. ACM Program. Lang., 2020

CrypTFlow2: Practical 2-Party Secure Inference.

Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma

IACR Cryptol. ePrint Arch., 2020

Secure Medical Image Analysis with CrypTFlow.

Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare

CoRR, 2020

2019

CrypTFlow: Secure TensorFlow Inference.

Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma

IACR Cryptol. ePrint Arch., 2019

OASIS: ILP-Guided Synthesis of Loop Invariants.

Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain

CoRR, 2019

Overfitting in Synthesis: Theory and Practice (Extended Version).

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

CoRR, 2019

Compiling KB-sized machine learning models to tiny IoT devices.

Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Semantic program alignment for equivalence checking.

Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning.

Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Low-cost aerial imaging for small holder farmers.

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

Proceedings of the Conference on Computing & Sustainable Societies, 2019

Overfitting in Synthesis: Theory and Practice.

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

On automatically proving the correctness of math.h implementations.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proc. ACM Program. Lang., 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, Charles Sugnet, Mark Ulrich, Jure Leskovec

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Sensor Identification and Fault Detection in IoT Systems.

Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic

Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018

Fall-curve: A novel primitive for IoT Fault Detection and Isolation.

Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic, Jonathan Appavoo

Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018

Active learning of points-to specifications.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Seam: provably safe local edits on graphs.

Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan

Proc. ACM Program. Lang., 2017

EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation.

Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi

IACR Cryptol. ePrint Arch., 2017

Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken

CoRR, 2017

Synthesizing program input grammars.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Sound Loop Superoptimization for Google Native Client.

Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Data-driven verification.

Rahul Sharma

PhD thesis, 2016

From invariant checking to invariant inference using randomized search.

Rahul Sharma, Alex Aiken

Formal Methods Syst. Des., 2016

Stochastic program optimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Commun. ACM, 2016

Data-driven precondition inference with learned features.

Saswat Padhi, Rahul Sharma, Todd D. Millstein

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Verifying bit-manipulations of floating-point.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Dependent partitioning.

Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Inferring annotations for device drivers from verification histories.

Zvonimir Pavlinovic, Akash Lal, Rahul Sharma

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Verification of producer-consumer synchronization in GPU programs.

Rahul Sharma, Michael Bauer, Alex Aiken

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Conditionally correct superoptimization.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Bias-variance tradeoffs in program analysis.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Stochastic optimization of floating-point programs with tunable precision.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Termination proofs from tests.

Aditya V. Nori, Rahul Sharma

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Differential assertion checking.

Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Verification as Learning Geometric Concepts.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori

Proceedings of the Static Analysis - 20th International Symposium, 2013

Data-driven equivalence checking.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A Data Driven Approach for Algebraic Loop Invariants.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori

Proceedings of the Programming Languages and Systems, 2013

Stochastic superoptimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Information-flow control for programming on encrypted data.

John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

IACR Cryptol. ePrint Arch., 2012

Interpolants as Classifiers.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

A Domain-Specific Language for Computing on Encrypted Data.

Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

IACR Cryptol. ePrint Arch., 2011

A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).

Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011