Spring 2018: Program Analysis and Verification
Fall 2017-2018: Compiler Principles
Spring 2017: Program Analysis and Verification
Fall 2016-2017: Compiler Principles
Spring 2016: Undergraduate Students Projects Presentation Day
Spring 2016: Program Analysis and Verification
Fall 2015-2016: Compiler Principles
Spring 2015: Mini-Project on Implementing Parallel Graph Algorithms
Spring 2015: Program Analysis and Verification
Fall 2014-2015: Compiler Principles
Spring 2014: Program Analysis and Verification
Fall 2013-2014: Compiler Principles
Spring 2013: Program Analysis and Verification
Fall 2012-2013: Compiler Principles
Contact me to hear about possible undergraduate projects.