Rahul Sharma

Address: Gates 420, 353 Serra Mall,
Stanford CA - 94305, USA
Email: sharmar AT cs DOT stanford DOT edu

I am a PhD student at the Department of Computer Science at Stanford University.
My advisor is 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.

My cv is here.

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.