Teaching

Current

Spring 2024 : CSE 231: Compilers

Special Topics

Spring 2013: CSE 291: Algorithmic Software Verification
Winter 2011: CSE 292: Colloquium
Spring 2009: CSE 291: Formal Foundations of Programming Languages
Spring 2008: CSE 291: Javascript and Web-Application Security
Spring 2007: CSE 291: Model Checking
Winter 2005: CSE 291: Static Analysis

CSE 230

Fall 2023: CSE 230: Graduate Programming Languages
Fall 2021: CSE 230: Graduate Programming Languages
Fall 2020: CSE 230: Graduate Programming Languages
Spring 2020: CSE 230: Graduate Programming Languages
Winter 2019: CSE 230: Proofs of Programs (for Programs, by Programs)
Fall 2016: CSE 230: Graduate Programming Languages
Winter 2016: CSE 230: Graduate Programming Languages
Winter 2015: CSE 230: Graduate Programming Languages
Winter 2014: CSE 230: Graduate Programming Languages
Winter 2013: CSE 230: Graduate Programming Languages
Winter 2012: CSE 230: Graduate Programming Languages
Winter 2011: CSE 230: Graduate Programming Languages
Winter 2010: CSE 230: Graduate Programming Languages
Winter 2008: CSE 230: Graduate Programming Languages
Winter 2007: CSE 230: Graduate Programming Languages
Winter 2006: CSE 230: Graduate Programming Languages

CSE 131

Spring 2022 : CSE 131: Compilers
Spring 2021 : CSE 131: Compilers
Fall 2018: CSE 131: Compilers
Winter 2018: CSE 131: Compilers
Fall 2016: CSE 131: Compilers

CSE 130

Winter 2024: CSE 130: Programming Languages
Winter 2022: CSE 130: Programming Languages
Winter 2021: CSE 130: Programming Languages
Winter 2020: CSE 130: Programming Languages
Spring 2019: CSE 130: Programming Languages
Spring 2017: CSE 130: Programming Languages
Spring 2016: CSE 130: Programming Languages
Fall 2015: CSE 130: Programming Languages
Spring 2015: CSE 130: Programming Languages
Spring 2014: CSE 130: Programming Languages
Fall 2012: CSE 130: Programming Languages
Spring 2012: CSE 130: Programming Languages
Fall 2011: CSE 130: Programming Languages
Spring 2011: CSE 130: Programming Languages
Spring 2010: CSE 130: Programming Languages
Fall 2009: CSE 130: Programming Languages
Winter 2009: CSE 130: Programming Languages
Fall 2008: CSE 130: Programming Languages
Fall 2007: CSE 130: Programming Languages
Fall 2007: CSE 130: Programming Languages
Fall 2006: CSE 130: Programming Languages
Fall 2005: CSE 130: Programming Languages