Amer Diwan


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, 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)


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

Graduated Students

Involvement in recent conferences and workshops

diwan at cs dot colorado dot edu / 303-492-5172