2023 Spring

• COSE 312: Compilers
• AAA 616: Program Analysis

2022 Fall

• COSE 212: Programming Languages
• AAA 616: Program Analysis

2021 Spring

• AAA 528: Computational Logic

2020 Fall

• COSE 212: Programming Languages
• AAA 616: Program Analysis

2020 Spring

• COSE 312: Compilers
• AAA 528: Computational Logic

2019 Fall

• COSE 212: Programming Languages
• AAA 616: Program Analysis

2019 Spring

• COSE 215: Theory of Computation

2018 Fall

• COSE 212: Programming Languages
• AAA 528: Computational Logic

2018 Spring

• COSE 215: Theory of Computation
• AAA 616: Program Analysis
• CVO 103: Programming Languages

2017 Fall

• COSE 212: Programming Languages
• AAA 615: Formal Methods

2017 Spring

• COSE 215: Theory of Computation
• COSE 312: Compilers
• CVS 107: Analysis of Software Vulnerability

2016 Fall

• COSE 212: Programming Languages
• AAA 616: Program Analysis
• CVO 103: Programming Languages

2016 Spring

• COSE 215: Theory of Computation
• AAA 551: Programming Language Theory
• CVS 107: Analysis of Software Vulnerability

2015 Fall

• COSE 212: Programming Languages
• COSE 312: Compilers

2015 Spring

• COSE 215: Theory of Computation
• CRE 501: Computational Logic