我是美国三星研究院编程语言和软件工程领域的研究员。2007年，我在加州大学伯克利分校获得博士学位。我的论文主要关注基于细化的程序分析工具。从那时起，我就研究了静态分析、动态分析和软件工程中的各种主题。我从2008年至2013年在IBM research工作。我的出版物列表在这里；另请参阅DBLP和我的谷歌学者页面。