Ras Bodik's courses:

• CS164: Programming Languages and Compilers (current semester, spring 2007, fall 2004, fall 2003)
• CS294: Topics in Berkeley PL Research (co-taught with Professors Seshia, Sen, Song, Yelick)
• CS169: Software Engineering (spring 2007, fall 2005)
• CS294: Software Synthesis (spring 2006)
• CS264: Implementation of Programming Languages (spring 2005)