I develop program analysis techniques and apply them to solve real-world problems in large-scale software systems. In the past, I designed and implemented static and dynamic techniques to find and fix “runtime bloat” that exists widely in object-oriented software; I am currently focusing on the efficiency/scalability problem in Big Data systems and investigating ways to efficiently test and debug these applications.