I am a senior researcher at Microsoft Research leading the Runtime Analysis & Design (RAD) research group. My areas of interest are programming languages, compilers, runtime systems, computer architecture, and parallel and distributed systems. I am specifically interested in runtime analyses including hybrid static-dynamic approaches to enhance software reliability, performance and security. In addition, I study garbage collection and memory system performance and correctness.

I am currently involved in several projects. The Daedalus project aims to provide tools and develop automatic techniques for improving program data reference locality and scalability. NinjaWare is a new project investigating lightweight, continuous software monitoring and analysis. We are building a wide variety of always-on runtime tools ranging from memory leak and data race detectors to program specification/invariant checkers and security monitors. With Sumit Gulwani, I am investigating hybrid static-dynamic frameworks and analyses. I am also investigating scalable techniques for analyzing program heaps with several colleagues at Microsoft Research.