Teaching

• B401 / A595—Fundamentals of Computing Theory (Fall 2012, Spring 2009, Spring 2008, Spring 2007)
• B403—Introduction to Algorithm Design and Analysis (Spring 2011)
• P436—Introduction to Operating Systems (Spring 2012)
• P523—Programming Language Implementation (Spring 2013, Spring 2012)
• B629—Practical Compilers for Modern Machines (Fall 2010, Fall 2009, Fall 2008, Fall 2007, Fall 2006, Spring 2006)
• B649—Parallel Architectures and Programming (Fall 2012, Fall 2011, Spring 2010, Spring 2009)
• Systems Seminar, co-organized with Beth Plale (Fall 2005)
• B524—Parallelism in Programming Languages and Systems (Spring 2005)
• Applied Algorithms and Data Structures at Rice (Spring 2003)