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. My old webpage at CU is here and lists my prior publications.

News:

• [May '25] Giving a talk at SIAM DS11 on computer systems as dynamical systems.
• [Feb '01] Giving a talk at Bytecode on RiSE tools for bytecode manipulation.
• [Jan '11] On the PC for MSPC 2011.
• [Oct '10] Moved to Ballard, WA and started at MSR.

Projects:

• Gillopy:

Dynamic instrumentation tools such as valgrind allow programmers to gather interesting and useful information about the behavior of their software. Gillopy is a C# framework akin to valgrid  but allows for both instrumentation and optimization of MSIL.  Gillopy is based on CCI and will investigate the efficacy of novel compiler optimizations that employ aggressive restructuring of object oriented code.

• Optimizing tree computations:

Computations over trees are ubiquitous in many areas of computer science (e.g. minimax search in AI, abstract syntax trees in PL, Cascading Style Sheets for the web, etc.). Writing those computations to take advantage of modern hardware features, like SIMD units, is difficult.  This project will develop a map/reduce like computational model for tree based structures that gives programmers tree like semantics but at the same time allows a runtime system to take advantage of features found in modern hardware.

Organization:

Member of RiSE

Projects

Publications