I am a researcher at Microsoft Research India. I completed my PhD in Computer Science at Stanford University. My primary research interest is 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. A full list of my publications can be found here.