Invited Journal Publications
Conference Publications
- CrypTFlow2: Practical 2-Party Secure Inference
Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma In CCS, 2020
- CrypTFlow: Secure Tensorflow Inference
Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma In IEEE S&P, 2020
- Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, Rahul Sharma In OOPSLA, 2020
- Compiling KB-sized machine learning models to tiny IoT devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma In PLDI, 2019
- Semantic program alignment for equivalence checking
Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken In PLDI, 2019
- Overfitting in Synthesis: Theory and Practice
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma In CAV, 2019
- EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning
Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma, Shardul Tripathi In EuroS&P, 2019
- Eventually Sound Points-To Analysis with Specifications
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken In ECOOP, 2019
- Active learning of points-to specifications
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang In PLDI, 2018
- On Automatically Proving the Correctness of math.h Implementations
Wonyeol Lee, Rahul Sharma, Alex Aiken In POPL, 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 In WWW, 2018
- Seam: provably safe local edits on graphs
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan In OOPSLA, 2017
- Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang In PLDI, 2017
- Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken In ASPLOS, 2017
- Inferring annotations for device drivers from verification histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma In ASE, 2016
- Dependent Partitioning
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken In OOPSLA, 2016
- Verifying Bit-Manipulations of Floating-Point
Wonyeol Lee, Rahul Sharma, Alex Aiken In PLDI, 2016
- Data-Driven Precondition Inference with Learned Features
Saswat Padhi, Rahul Sharma, Todd Millstein In PLDI, 2016
- Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken In PLDI, 2016
- Conditionally Correct Superoptimization
Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken In OOPSLA, 2015 [Slides]
- Verification of Producer-Consumer Synchronization in GPU Programs
Rahul Sharma, Michael Bauer, Alex Aiken In PLDI, 2015 [Slides]
- From Invariant Checking to Invariant Inference Using Randomized Search
Rahul Sharma, Alex Aiken In CAV, 2014 [Slides]
- Stochastic Optimization of Floating-Point Programs using Tunable Precision
Eric Schkufza, Rahul Sharma, Alex Aiken In PLDI, 2014
- Bias-Variance Tradeoffs in Program Analysis
Rahul Sharma, Aditya Nori, Alex Aiken In POPL, 2014 [Slides]
- Data-Driven Equivalence Checking
Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken In OOPSLA, 2013 [Slides]
- Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel In FSE, 2013 [Slides]
- Termination Proofs from Tests
Aditya Nori, Rahul Sharma In FSE, 2013 [Slides]
- Verification as Learning Geometric Concepts
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori In SAS, 2013. [Slides]
- A Data Driven Approach for Algebraic Loop Invariants
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori In ESOP, 2013 [Slides]
- Stochastic Superoptimization
Eric Schkufza, Rahul Sharma, Alex Aiken In ASPLOS, 2013
- Interpolants as Classifiers
Rahul Sharma, Aditya Nori, Alex Aiken In CAV, 2012 [Slides]
- Information-Flow Control for Programming on Encrypted Data
John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman In CSF, 2012
- Simplifying Loop Invariant Generation Using Splitter Predicates
Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken In CAV, 2011. [Slides]
- A Domain-Specific Language for Computing on Encrypted Data
Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman In FSTTCS, 2011
Other interests
I have travelled to New Zealand, Amsterdam, Brussels, Paris, Nice, Monaco, Barcelona, Madrid, Rome, Venice, Lucerne, Zurich, Munich, Berlin, Vienna, Salzburg, Prague, Budapest, Bratislava, Stockholm, Luxembourg, South Korea, London, Hong Kong, St Petersburg, Dubai, Mauritius, and along the US west coast.
|