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.
|
