Rahul Sharma

 
 

MY CONTACT

Email ID:

sharmar AT stanford.edu

Skype: rahul.sharma970

Address:  Gates 420,

353 Serra Mall, Stanford

CA - 94305, USA

Phone:  (650) 723-9273





               




MY FAVORITES

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

 

Publications

 

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]