CS 611 Fall 2004

Old announcements

• Andrew will be holding extra office hours Monday 1:30-2:30, Tuesday 1-2.
• The CS 611 final exam will be open-book. You may bring copies of the course notes, recommended or required textbooks, and your own notes. If you bring loose-leaf materials, place them in a folder or binder with your name on it to limit the chaos.
• Sample final exams from Fall 2000 and Fall 2001 have been posted on CMS, along with their solutions.
• Some people have asked for the prelim appendix to be posted as a reference.
• Problem Set 4 has been released. Due Nov. 5.
• Graded prelims can be picked up in Upson 363C. Here: A smoothed histogram of the scores.
• Graded Problem Set 2's can be picked up in Upson 4119C from the instructor.
• A sample prelim is available (as "source code") from CMS. Unfortunately CIT communication has been down, making it hard to notify students. New! includes solutions.
• Problem Set 3 has been released.
• Wojtek Moczydlowski has joined the course staff as a teaching assistant. Welcome Wojtek!
• The main textbook for this fall will be Types and Programming Languages, by Benjamin Pierce. We will also use parts of The Formal Semantics of Programming Languages, by Glynn Winskel.
• The first lecture will be on August 30 at 10:10AM in Olin Hall 218. The August 27 lecture is canceled.