I am a researcher at Microsoft Research.

My goal is to aid developers in understanding the complex behavior of their software. To that end, I build analyses that mine software for interesting behavior and I create tools/optimizations that take advantage of that interesting behavior.