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.