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.
My old webpage
at CU lists my prior publications while my new webpage at MSR
lists my current work in greater detail.