Michael D. Bond's Teaching

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 – 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