Teaching
Winter 2011
CSE 130 Programming Languages
Fall 2010
CSE 130 Programming Languages
Spring 2010
Applied Automated Theorem Proving
Winter 2010
CSE 130 Programming Languages
Fall 2009
CSE 231 Advanced Compilers
Spring 2009
CSE 291 Seminar on Power and Programming Languages
Winter 2009
CSE 130 Programming Languages
Fall 2008
CSE 231 Advanced Compilers
Spring 2008
Applied Automated Theorem Proving
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