Amer Diwan

I am a faculty in the department of computer science at the
University of Colorado, Boulder.
Courses
Advanced
Compiling Techniques (at Stanford)
CU CSCI 5535: Fundamentals of programming languages (Fall 1999, Fall 2000,
Fall 2001, Fall
2002, Fall 2007)
CU CSCI 7135: Topics in programming languages (Spring
2000, Spring 2003, Spring
2006, Fall 2008)
CU CSCI 3155: Principles of programming languages (Spring
2001, Spring 2002,
Fall 2003, Spring
2004, Fall 2004, Spring 2008, Spring
2009, Spring 2010)
CU CSCI 3308: Software methods and tools (Fall 2005, Fall 2007, Fall 2008, Spring 2010)
CU CSCI 7900: PhD student orientation (Fall 2005)
Prelims
For a syllabus of the programming languages prelim click here.
Research Interests
and Publications
Click on a link to see my papers in the area. My (always outdated...) CV also enumerates my papers.
Current Students
- Devin Coughlin (gradual programming)
Graduated Students
- Johannes Henkel (Defended
May 12th, 2004, dissertation, Summer 04:
Postdoc at U. Colorado, Fall 04 and beyond: Google)
- Martin Hirzel
(Defended July 6th, 2004, dissertation,
IBM TJ Watson)
- Han Lee (Defended August
30th, 2004, dissertation, Fall 04:
Postdoc at U. Colorado, December 04 and beyond: Intel)
- Matthias Hauswirth
(Defended April 27th, 2005, dissertation, Faculty
at Università della Svizzera Italiana (USI))
- Daniel von Dincklage
(Defended November 16th, 2007, dissertation,
Google))
- Todd Mytkowicz (Defended November 20th 2009, dissertation forthcoming, Postdoc at U. Colorado)
- Christoph Reichenbach (Defended December 18th 2009, dissertation, Postdoc at U. Massachusetts)
Involvement in
recent conferences and workshops
diwan at cs
dot colorado dot edu / 303-492-5172