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.