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.