Michael D. Bond's Teaching

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