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.
|SPLASH 2014|| Committee Member in Program Committee within the OOPSLA-track|
Translating Imperative Code to MapReduce
|Show activities from other conferences|
View general profile