I obtained my PhD from the University of Wisconsin-Madison in 1997, and a B.Tech. from the Indian Institute of Technology-Kanpur in 1991, both in computer science. From 1997 to 2002, I was a member of technical staff at Bell Laboratories, where my research focused on program analysis, domain-specific languages, and data-communication protocols. From 2002 to 2013, I was a research staff member at IBM Research, where my research focused on bug finding and verification, software synthesis, and test automation. From 2013 to 2016, I worked at Samsung Research America, where I led the advanced programming tools research team. In 2016, I started working at Facebook. I am an ACM Distinguished Scientist.

Recent Items:



Programming Languages, Program Analysis, Software Testing, and Automated Debugging

Latest Publications