• 12/15/03. Final exam grades have been mailed out. Please contact me if you didn't get the e-mail. Reminder: Projects are due Friday, December 19th. Please e-mail me your write-up, as well as any implementation you have done. (Earlier I said I didn't want the implementation, but I've changed my mind.)
• 12/8/03. Online course evaluations are now available. The deadline is 11:55pm on Wednesday, December 10th.
• 11/19/03. A project presentation schedule is posted on the lectures web page. Please e-mail me the title of your project/talk.
• 11/7/03. The final exam date and time has been posted. The project deadline has been extended to Friday, December 19 at midnight. You must e-mail me your project write-up and any code you have written by that time.
• 10/31/03. Jakob Rehof was kind enough to share his presentation slides on CFL reachability and polymorphism. I have posted them on the lectures web page.
• 10/29/03. Class on Thursday, November 13 is cancelled. Instead, we will hold class Wednesday, November 12, from 5-6:15 in CSIC 3120.
• 10/23/03. The schedule for the student lectures is posted on the lectures web page.
• 10/23/03. A list of project meetings is posted on the projects web page (the one in the menu to the left---not the one on the wiki).
• 10/23/03. Homework 4 (a short assignment) has been posted.
• 10/21/03. A list of papers for student presentations appears at the top of the Paper List web page. Please e-mail me, in ranked order, your three preferences for papers. First-come, first-served. Please e-mail me by this coming weekend.
• 10/14/03. Due to popular demand Homework 3 is now due a week later, on Thursday, October 23.
• 10/9/03. Next week's lectures are arranged. There are two papers on Cyclone you need to read for Tuesday.
• 10/8/03. Class will be held next week, and hw3 is due as scheduled (please e-mail it to me, and/or turn it in to the lecturer that day), but I will be out of town for part of next week or all of next week due to a family emergency. Therefore, we will not be holding meetings to discuss projects next week. Please e-mail me a short (minimum 1-2 paragraph) description of what you plan to do by October 16.
• 10/6/03. Class on Thursday, October 9, is cancelled, and the papers on October 14 and 16 have been bumped up a day; now on October 14 we'll talk more about type systems.
• 10/2/03. Homework 3 is posted.
• 9/26/03. I've added some more projects to the project web page.
• 9/25/03. Homework 2 is posted on the lectures page. I also realized that I stated the Diamond property slightly wrong in lecture today; it's fixed in the posted slides.
• 9/15/03. Problem 3 of HW1 fixed. You don't need to do the part about induction variables (since we didn't go over that), and now the hw explains that a copy statement is an assignment of the form x := y.
• 9/15/03. I have moved my Friday office hour to Thursday 10-11, since the old time conflicted with SysChat.
• 9/11/03. Homework 1 is posted on the lectures page.
• 9/9/03. There is now only one requried paper for Thursday (Efficiently Computing Static Single Assignment...), although I will discuss the results of the other paper as well in class.
• 9/3/03. I added a discussion section to the wiki, for asking and answering general questions about the class.
• 9/2/03. Pictures are up on the wiki. Please identify yourself. Please e-mail me a picture if I didn't take one of you.
• 9/2/03. Class on Thursday, September 4 is cancelled.
• 9/2/03. Welcome to CMSC 631. If there are any important announcements about the class, they will appear here.