- Parameterized Equivalence Checking : generalizing translation validation techniques to perform once-and-for-all correctness proofs of compiler optimizations. (PLDI 09)
- Equality Saturation : a new compiler optimization technique that mitigates the phase ordering problem and extends to translation validation. (POPL 09)
- Deep Typechecking and Refactoring : cross-language type checking to ensure safety at the interface between programs and databases. (OOPSLA 08)
CSE Department and Personal Projects
- I organize the UCSD CSE Social Hour (Friday 4pm 4th floor).
- I'm involved with a project to develop and build a giant, programmable wall of LEDs.
- I maintain the UCSD CSE Wiki.