Courses:

Spring 2002

COS 320 - Compiling Techniques
COS 423 - Theory of Algorithms

Fall 2001

COS 510 - Programming Languages
COS 597b - Feedback-directed Optimization