Courses
- 2008 Fall CPSC 629: Algorithm Design and Analysis
- 2008 Fall CPSC 689: Special Topic on Static Analysis
- Final project: Local Specialization in OpenAxiom
- 2009 Spring CPSC 689: C++ 0x
- Written assignment: A Simple Tutorial for C++0x Initializer Lists [pdf]
- Language critique exercise: Extending C++0x Concepts[pdf]
- Final presentation: Generalized and Guaranteed Constant Expression [pdf]
- 2009 Spring CPSC 604: Programming Language Design
- Final presentation: FPH: first-class polymorphism for Haskell [pdf] [The original paper]
- 2009 Fall CSCE 614: Computer Architecture
- 2009 Fall CSCE 620: Computational Geometry
- 2010 Spring: Complexity theory
- 2010 Spring: CSCE654 Supercomputing
- 2010 Fall CSCE 624: Sketch Recognition [PIDRTC;-)]
- 2010 Fall CSCE 626: Parallel Algorithm Design and Analysis
- 2011 Spring: CSCE605: Advanced compiler design
- 2011 Spring: CSCE689: Special Topics in Programming Language Design and Implementation (A slightly more challenging version of CSCE604)
- 2012 Spring: ECEN647 Information Theory (audit)