Registered user since Thu 13 Nov 2014
I am a member of the Programming Languages and Tools, Programming Principles and Tools groups at Microsoft Research. I am also an adjunct professor at IIT Hyderabad. My research interests include algorithms for the analysis of programs and machine learning with special focus on tools for improving software reliability and programmer productivity.
|PLDI 2015||Efficient Synthesis of Probabilistic Programs|
|Show activities from other conferences|
View general profile