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.
|ECOOP 2016||Trace Typing: An Approach for Evaluating Retrofitted Type Systems|
|STOP 2016||Committee Member in Program Committee within the STOP-track|
|Show activities from other conferences|
View general profile