Teaching
Graduate Courses
Systems (CMPSCI 630, Fall 2011, Spring 2012, Fall 2013)
Hot Topics in PL and Systems (Spring 2013)
Hot Topics in Programming Languages and Systems
Programming Languages & Systems (reading group)
Parallel and Concurrent Programming (CMPSCI 691W, Spring 2006)
Hot Topics in Programming Languages and Systems (CMPSCI 691B, Fall 2005)
Topics in Runtime Systems (CMPSCI 691S, Fall 2004)
Advanced Compilers (CMPSCI 710, Spring 2004) [Spring 2003]
Robust Software Systems (CMPSCI 691P, Fall 2002)
Undergraduate Courses
Operating Systems (CMPSCI 377, Spring & Fall 2007, Fall 2009)
Computer Systems Principles (CMPSCI 291SP, Spring 2010, Fall 2010)