Rahul Sharma

Address: Vigyan, No 9, Lavelle Road,
Bangalore - 560001, India
Email: sharmar AT cs DOT stanford DOT edu

I am a researcher at Microsoft Research India. I completed my PhD in Computer Science at Stanford University.
My advisor was Prof. Alex Aiken. I am interested in applying machine learning to program verification and compiler optimizations.
Learning from program runs is an effective way to combine two complementary techniques: static analysis and testing.
Google Scholar DBLP

Invited Journal Publications

Conference Publications

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.