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.
|POPL 2016|| Session Chair of Track 1: Program Design and Analysis (part of Research Papers)|
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
|Show activities from other conferences|
View general profile