Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRahul 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
![[0000-0002-2440-5286]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-2440-5286")
— University of Queensland, Brisbane, Australia (and 1 more) - Rahul Sharma 0004 — St. Xavier's College, Kolkata, India
- Rahul Sharma 0006 — Salk Institute for Biological Studies, La Jolla, CA, USA (and 1 more)
- Rahul Sharma 0007 — National Institute of Technology, Kurukshetra, India
- Rahul Sharma 0008 — University of Coimbra, Department of Informatics Engineering, Portugal
- Rahul Sharma 0009 — TCS Research & Innovation, Mumbai, India
- Rahul Sharma 0010 — Indian Institute of Technology Kanpur, Department of Electrical Engineering, India
- Rahul Sharma 0011 — Tallinn University of Technology, Estonia
- Rahul Sharma 0012 — Indian Institute of Technology, Delhi, Department of Electrical Engineering, New Delhi, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2016
[b1]Rahul Sharma:
Data-driven verification. Stanford University, USA, 2016
Journal Articles
- 2023
- [j6]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) - 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) - 2018
- [j4]Wonyeol Lee, Rahul Sharma, Alex Aiken:
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2(POPL): 47:1-47:32 (2018) - 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) - 2016
- [j2]Eric Schkufza, Rahul Sharma, Alex Aiken:
Stochastic program optimization. Commun. ACM 59(2): 114-122 (2016) - [j1]Rahul Sharma, Alex Aiken:
From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. 48(3): 235-256 (2016)
Conference and Workshop Papers
- 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 - 2022
- [c38]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: 1219-1231 - [c37]Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi:
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. SP 2022: 576-595 - 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 - 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 - 2019
- [c32]Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma:
Overfitting in Synthesis: Theory and Practice. CAV (1) 2019: 315-334 - [c31]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:
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 - 2018
- [c26]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
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
- [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, Percy Liang:
Synthesizing program input grammars. PLDI 2017: 95-110 - 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, Rahul Sharma, Alex Aiken:
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 - 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, Rahul Sharma, Deian Stefan, Joe Zimmerman:
Information-Flow Control for Programming on Encrypted Data. CSF 2012: 45-60 - 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, Rahul Sharma, Deian Stefan, Joe Zimmerman:
A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). FSTTCS 2011: 6-24
Informal and Other Publications
- 2024
- [i33]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) - [i32]Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma:
Enabling Memory Safety of C Programs using LLMs. CoRR abs/2404.01096 (2024) - 2023
- [i31]Wonyeol Lee, Rahul Sharma, Alex Aiken:
Training with Mixed-Precision Floating-Point Assignments. CoRR abs/2301.13464 (2023) - [i30]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 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, 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 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
- [i23]Vinod Ganesan, Anwesh Bhattacharya, Pratyush Kumar, Divya Gupta, Rahul Sharma, Nishanth Chandran:
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
- [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 Shankar 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
- [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) - 2019
- [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) - 2017
- [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
- [i4]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing Program Input Grammars. CoRR abs/1608.01723 (2016) - 2012
- [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
- [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
a service of 
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-05-10 21:31 CEST 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:
