default search action
Rahul Sharma 0001
Person information
- affiliation: Microsoft Research, Bengaluru, India
- affiliation (former): Stanford University
Other persons with the same name
- Rahul Sharma — disambiguation page
- Rahul Sharma 0002 — Department of CSE, IISc, Bengaluru, India
- Rahul Sharma 0003
— University of Queensland, Brisbane, Australia (and 1 more)
- Rahul Sharma 0004
- Rahul Sharma 0006
- Rahul Sharma 0007
- Rahul Sharma 0008
- Rahul Sharma 0009 — TCS Research & Innovation, Mumbai, India
- Rahul Sharma 0010
- Rahul Sharma 0011
- Rahul Sharma 0012
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j8]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): 61-79 (2024) - [c42]Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma:
Orca: FSS-based Secure Training and Inference with GPUs. SP 2024: 597-616 - [i34]Nishanth Chandran, Sunayana Sitaram, Divya Gupta, Rahul Sharma, Kashish Mittal, Manohar Swaminathan:
Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs. CoRR abs/2403.00393 (2024) - [i33]Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Enabling Memory Safety of C Programs using LLMs. CoRR abs/2404.01096 (2024) - [i32]Sankha Das, Sayak Ray Chowdhury, Nishanth Chandran, Divya Gupta, Satya Lokam, Rahul Sharma:
Communication Efficient Secure and Private Multi-Party Deep Learning. IACR Cryptol. ePrint Arch. 2024: 1471 (2024) - 2023
- [j7]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): 436-451 (2023) - [j6]Wonyeol Lee, Rahul Sharma, Alex Aiken:
Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. 2023 (2023) - [c41]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: 9164-9175 - [c40]Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma:
MinUn: Accurate ML Inference on Microcontrollers. LCTES 2023: 26-39 - [c39]Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song:
Secure Floating-Point Training. USENIX Security Symposium 2023: 6329-6346 - [i31]Wonyeol Lee, Rahul Sharma, Alex Aiken:
Training with Mixed-Precision Floating-Point Assignments. CoRR abs/2301.13464 (2023) - [i30]Naman Jain, Shubham Gandhi
StaticFixer: From Static Analysis to Static Repair. CoRR abs/2307.12465 (2023) - [i29]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 abs/2310.09342 (2023) - [i28]Adharsh Kamath
Finding Inductive Loop Invariants using Large Language Models. CoRR abs/2311.07948 (2023) - [i27]Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma:
Orca: FSS-based Secure Training with GPUs. IACR Cryptol. ePrint Arch. 2023: 206 (2023) - [i26]Deevashwer Rathee, Anwesh Bhattacharya, Divya Gupta, Rahul Sharma, Dawn Song:
Secure Floating-Point Training. IACR Cryptol. ePrint Arch. 2023: 467 (2023) - [i25]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: 1010 (2023) - [i24]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: 1269 (2023) - 2022
- [c38]Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma:
Jigsaw: Large Language Models meet Program Synthesis. ICSE 2022: 1219-1231 - [c37]Deevashwer Rathee, Anwesh Bhattacharya
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. SP 2022: 576-595 - [i23]Vinod Ganesan, Anwesh Bhattacharya
Efficient ML Models for Practical Secure Inference. CoRR abs/2209.00411 (2022) - [i22]Shikhar Jaiswal, Rahul Kranti Kiran Goli, Aayan Kumar, Vivek Seshadri, Rahul Sharma:
MinUn: Accurate ML Inference on Microcontrollers. CoRR abs/2210.16556 (2022) - [i21]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: 322 (2022) - 2021
- [c36]Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar:
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. FPL 2021: 347-354 - [c35]Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi:
SiRnn: A Math Library for Secure RNN Inference. SP 2021: 1003-1020 - [i20]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 abs/2105.04236 (2021) - [i19]Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar:
MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. CoRR abs/2107.03653 (2021) - [i18]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 abs/2107.10230 (2021) - [i17]Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma:
Jigsaw: Large Language Models meet Program Synthesis. CoRR abs/2112.02969 (2021) - [i16]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: 459 (2021) - 2020
- [j5]Aayan Kumar, Vivek Seshadri, Rahul Sharma:
Shiftry: RNN inference in 2KB of RAM. Proc. ACM Program. Lang. 4(OOPSLA): 182:1-182:30 (2020) - [c34]Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
CrypTFlow2: Practical 2-Party Secure Inference. CCS 2020: 325-342 - [c33]Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
CrypTFlow: Secure TensorFlow Inference. SP 2020: 336-353 - [i15]Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
CrypTFlow2: Practical 2-Party Secure Inference. CoRR abs/2010.06457 (2020) - [i14]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 abs/2012.05064 (2020) - [i13]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: 1002 (2020)
2010 – 2019
- 2019
- [c32]Saswat Padhi, Todd D. Millstein
Overfitting in Synthesis: Theory and Practice. CAV (1) 2019: 315-334 - [c31]Aditya Jain, Zerina Kapetanovic
Low-cost aerial imaging for small holder farmers. COMPASS 2019: 41-51 - [c30]Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken:
Eventually Sound Points-To Analysis with Specifications. ECOOP 2019: 11:1-11:28 - [c29]Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi:
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. EuroS&P 2019: 496-511 - [c28]Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma:
Compiling KB-sized machine learning models to tiny IoT devices. PLDI 2019: 79-95 - [c27]Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken:
Semantic program alignment for equivalence checking. PLDI 2019: 1027-1040 - [i12]Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma:
Overfitting in Synthesis: Theory and Practice (Extended Version). CoRR abs/1905.07457 (2019) - [i11]Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
CrypTFlow: Secure TensorFlow Inference. CoRR abs/1909.07814 (2019) - [i10]Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain:
OASIS: ILP-Guided Synthesis of Loop Invariants. CoRR abs/1911.11728 (2019) - [i9]Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma:
CrypTFlow: Secure TensorFlow Inference. IACR Cryptol. ePrint Arch. 2019: 1049 (2019) - 2018
- [j4]Wonyeol Lee
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2(POPL): 47:1-47:32 (2018) - [c26]Osbert Bastani, Rahul Sharma, Alex Aiken
Active learning of points-to specifications. PLDI 2018: 678-692 - [c25]Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic, Jonathan Appavoo:
Fall-curve: A novel primitive for IoT Fault Detection and Isolation. SenSys 2018: 95-107 - [c24]Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic:
Sensor Identification and Fault Detection in IoT Systems. SenSys 2018: 375-376 - [c23]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: 1775-1784 - 2017
- [j3]Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan:
Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. 1(OOPSLA): 78:1-78:29 (2017) - [c22]Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
Sound Loop Superoptimization for Google Native Client. ASPLOS 2017: 313-326 - [c21]Osbert Bastani, Rahul Sharma, Alex Aiken
Synthesizing program input grammars. PLDI 2017: 95-110 - [i8]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Active Learning of Points-To Specifications. CoRR abs/1711.03239 (2017) - [i7]Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken:
Eventually Sound Points-To Analysis with Missing Code. CoRR abs/1711.03436 (2017) - [i6]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 abs/1711.07601 (2017) - [i5]Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi:
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation. IACR Cryptol. ePrint Arch. 2017: 1109 (2017) - 2016
- [b1]Rahul Sharma:
Data-driven verification. Stanford University, USA, 2016 - [j2]Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic program optimization. Commun. ACM 59(2): 114-122 (2016) - [j1]Rahul Sharma
From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. 48(3): 235-256 (2016) - [c20]Zvonimir Pavlinovic, Akash Lal, Rahul Sharma:
Inferring annotations for device drivers from verification histories. ASE 2016: 450-460 - [c19]Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
Dependent partitioning. OOPSLA 2016: 344-358 - [c18]Saswat Padhi, Rahul Sharma, Todd D. Millstein
Data-driven precondition inference with learned features. PLDI 2016: 42-56 - [c17]Wonyeol Lee
Verifying bit-manipulations of floating-point. PLDI 2016: 70-84 - [c16]Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
Stratified synthesis: automatically learning the x86-64 instruction set. PLDI 2016: 237-250 - [i4]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing Program Input Grammars. CoRR abs/1608.01723 (2016) - 2015
- [c15]Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Conditionally correct superoptimization. OOPSLA 2015: 147-162 - [c14]Rahul Sharma, Michael Bauer, Alex Aiken
Verification of producer-consumer synchronization in GPU programs. PLDI 2015: 88-98 - 2014
- [c13]Rahul Sharma, Alex Aiken:
From Invariant Checking to Invariant Inference Using Randomized Search. CAV 2014: 88-105 - [c12]Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic optimization of floating-point programs with tunable precision. PLDI 2014: 53-64 - [c11]Rahul Sharma, Aditya V. Nori, Alex Aiken
Bias-variance tradeoffs in program analysis. POPL 2014: 127-138 - 2013
- [c10]Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic superoptimization. ASPLOS 2013: 305-316 - [c9]Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori:
A Data Driven Approach for Algebraic Loop Invariants. ESOP 2013: 574-592 - [c8]Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Data-driven equivalence checking. OOPSLA 2013: 391-406 - [c7]Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori:
Verification as Learning Geometric Concepts. SAS 2013: 388-411 - [c6]Aditya V. Nori, Rahul Sharma:
Termination proofs from tests. ESEC/SIGSOFT FSE 2013: 246-256 - [c5]Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel:
Differential assertion checking. ESEC/SIGSOFT FSE 2013: 345-355 - 2012
- [c4]Rahul Sharma, Aditya V. Nori, Alex Aiken:
Interpolants as Classifiers. CAV 2012: 71-87 - [c3]John C. Mitchell
Information-Flow Control for Programming on Encrypted Data. CSF 2012: 45-60 - [i3]Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic Superoptimization. CoRR abs/1211.0557 (2012) - [i2]John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman:
Information-flow control for programming on encrypted data. IACR Cryptol. ePrint Arch. 2012: 205 (2012) - 2011
- [c2]Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken:
Simplifying Loop Invariant Generation Using Splitter Predicates. CAV 2011: 703-719 - [c1]Alex Bain, John C. Mitchell
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS 2011: 6-24 - [i1]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: 561 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-26 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: