I have been involved in teaching the following courses and seminars.

Spring 2017Imperial CollegeCO444H Advanced Compilers
Fall 2014University of WashingtonComputer Security 484/584
Fall 2011MITComputer Systems Security (6.858)
December, 2011POMIIntroduction to Web and Browser Security
December, 2011POMIIntroduction to Malware: Attacks and Defenses
Spring 2010University of WashingtonProgram Analysis for Software Security (CSE 504)
Winter 2006StanfordAdvanced Compiling Techniques (CS 243)
Fall 2005StanfordProgramming Languages (CS 242)
Spring 2002StanfordAdvanced Topics in Compilers (CS 343)
Spring 1999CornellDiscrete Structures (CS 280)