My research lies at the intersection of programming languages, software engineering, and mobile systems. I develop program analysis and runtime systems to automatically detect, prevent, and fix reliability and efficiency issues in software. In addition, I have a keen interest in exploiting the synergy between software engineering and emerging techniques (in Big Data and Deep Learning) to address issues in both research areas.