Teaching
Winter 2008
CSE 130 Programming Languages
Fall 2007
CSE 231 Advanced Compilers
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