Rahul Sharma



Email ID:

sharmar AT stanford.edu

Skype: rahul.sharma970

Address:  Gates 420,

353 Serra Mall, Stanford

CA - 94305, USA

Phone:  (650) 723-9273



Quote: It is unfortunate that so many scientists have been conditioned to believe that, say, 10^30 particles can always be approximated well by an infinite number of  points. -- Donald Greenspan

Find out what you like doing best and get someone to pay you for doing it. -- Katherine Whitehorn

Travel Destinations: Amsterdam, Brussels, Paris, Nice, Monaco, Barcelona, Rome, Venice, Lucerne, Munich, Berlin, Vienna, Salzburg, Prague, Budapest, Bratislava, Stockholm, Luxembourg, various cities in South Korea and India


I am a PhD student at the Department of Computer Science at Stanford University. My advisor is Prof. Alex Aiken. I am interested in all areas of Programming Languages: Design of new languages, Compilers, Language-based security, Verification, Static Analysis, Testing, ...


About Me




Simplifying Loop Invariant Generation Using Splitter Predicates

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken. Proceedings of the International Conference on Computer Aided Verification (CAV) 2011. [Full Version] [Slides]