| Autumn | 2026 | CSE 3341 | Principles of Programming Languages (two sections) |
| Spring | 2026 | CSE 3341 | Principles of Programming Languages |
| Spring | 2026 | CSE 5349 | Research on Rust for Security |
| Autumn | 2025 | CSE 3341 | Principles of Programming Languages |
| Autumn | 2024 | CSE 3341 | Principles of Programming Languages |
| Spring | 2024 | CSE 3341 | Principles of Programming Languages |
| Autumn | 2023 | CSE 5349 | Rustworthy Computing |
| Spring | 2023 | CSE 6341 | Foundations of Programming Languages |
| Autumn | 2022 | CSE 3341 | Principles of Programming Languages (two sections) |
| Spring | 2022 | CSE 3341 | Principles of Programming Languages (two sections) |
| Autumn | 2021 | CSE 6341 | Foundations of Programming Languages |
| Autumn | 2021 | CSE 5349 | The Rust Programming Language: Research Challenges and Opportunities |
| Spring | 2021 | CSE 6341 | Foundations of Programming Languages |
| Autumn | 2020 | CSE 3341 | Principles of Programming Languages (two sections) |
| Spring | 2020 | CSE 6341 | Foundations of Programming Languages |
| Autumn | 2019 | CSE 5349 | Language and System Support for Non-Volatile/Persistent Memory |
| Autumn | 2019 | CSE 6341 | Foundations of Programming Languages |
| Autumn | 2018 | On sabbatical | |
| Spring | 2019 | On sabbatical | |
| Spring | 2018 | CSE 5349 | Program Analysis and Runtime Systems for Reliable, Scalable Parallelism |
| Autumn | 2017 | CSE 3341 | Principles of Programming Languages (two sections) |
| Autumn | 2017 | CSE 6349 | Program Analyses and Systems for Reliable Parallelism |
| Autumn | 2016 | CSE 3341 | Principles of Programming Languages (two sections) |
| Autumn | 2015 | CSE 3341 | Principles of Programming Languages |
| Autumn | 2015 | CSE 5349 | Parallelism in Modern Programming Language Implementations |
| Spring | 2015 | CSE 3341 | Principles of Programming Languages |
| Autumn | 2014 | CSE 6341 | Foundations of Programming Languages |
| Spring | 2014 | CSE 5349 | Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software |
| Autumn | 2013 | CSE 6341 | Foundations of Programming Languages |
| Spring | 2013 | CSE 3341 | Principles of Programming Languages |
| Autumn | 2012 | CSE 6341 | Foundations of Programming Languages |
| Spring | 2012 | CSE 755 | Programming Languages |
| Autumn | 2011 | CSE 788.07 | Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software |
| Spring | 2011 | CSE 888.07 | Algorithms and Implementation Strategies for Efficient Dynamic Analysis for Deployed Concurrent Software |
| Winter | 2011 | CSE 788.07 | Dynamic Program Analysis for Reliable Concurrent Software |