I am a faculty in the department of computer science at the University of Colorado, Boulder.
Advanced
Compiling Techniques (at Stanford)
CU CSCI 5535: Fundamentals of programming languages (Fall
1999, Fall 2000,
Fall 2001, Fall
2002)
CU CSCI 7135: Topics in programming languages (Spring
2000, Spring 2003, Spring
2006)
CU CSCI 3155: Principles of programming languages
(Spring 2001,
Spring 2002,
Fall 2003, Spring
2004, Fall 2004)
CU CSCI 3308: Software methods and tools (Fall 2005)
CU CSCI 7900: PhD student orientation (Fall 2005)
For a syllabus of the programming languages prelim click here.
Click on a link to see my papers in the area. My CV also enumerates my papers.