Registered user since Wed 25 Jun 2014
I am a researcher at Samsung Research America in the area of programming languages and software engineering. I received my PhD from the University of California, Berkeley in 2007. My dissertation focused on refinement-based program analysis tools. Since then, I have done research on a variety of topics in static analysis, dynamic analysis, and software engineering. I worked at IBM Research from 2008–2013. A list of my publications is here; also see DBLP and my Google Scholar page.
|PLDI 2016|| Committee Member in External Program Committee|
Committee Member in Distinguished Paper Committee
Publicity Chair in Organizing Committee
|Show activities from other conferences|
View general profile