Research

Research

My research interests broadly span programming languages and compilers. Specifically, I am interested in program analysis, verification, and testing problems that improve the productivity of programmers.

Doctoral Thesis

Journal Publications

Conference Publications

2013
2012
2011
2010
2009
2008
2007
2006
2005
2004

Reprinted In Collections

Other Publications and Reports