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.

Conference Publications

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, St Petersburg, Dubai, and India.