Teaching
Winter 2007
CSE 130 Programming Languages
Fall 2006
CSE 231 Advanced Compilers
Spring 2006
Software Reliability Methods
(with Ingolf Krueger and Ranjit Jhala)
Winter 2006
Applied Automated Theorem Proving