My research is on helping software developers work with software by exploring high-level techniques that address concrete technical challenges.  My current focus is on program analysis, especially but not exclusively static analysis, and its applications to bug detection, security, performance (e.g., automatic datastructure selection), and safety and reliability of autonomous systems, in collaboration with the Robotics group.  My other research interests include domain-specific languages, programming language design and implementation, refactoring, and performance analysis.