Conference Publications
- Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori: Verification as Learning Geometric Concepts. In SAS, 2013 (To appear).
- Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori: A Data Driven Approach for Algebraic Loop Invariants . In ESOP, 2013. [Slides]
- Eric Schkufza, Rahul Sharma, Alex Aiken: Stochastic Superoptimization . In ASPLOS, 2013.
- Rahul Sharma, Aditya V. Nori, Alex Aiken: Interpolants as Classifiers. In CAV, 2012. [Slides]
- John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: Information-Flow Control for Programming on Encrypted Data. In CSF, 2012.
- Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken: Simplifying Loop Invariant Generation Using Splitter Predicates. In CAV, 2011. [Slides]
- Alex Bain, John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman: A Domain-Specific Language for Computing on Encrypted Data. In FSTTCS, 2011.
Other interests
I have travelled to 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, and India.
|
