My primary research area is software engineering. Goal of my research is to develop tools and techniques to improve software quality and programmer productivity. In particular, I study static & dynamic program analysis, fault localization, automated debugging, and automated testing.