• 12/16/04. Final exam scores have been mailed out. Email me if you didn't get yours, or if you have any questions.
• 12/9/04. Solutions for homework 7 have been posted, in the usual way. Solutions for homework 5 have been re-posted to fix a few typos.
• 12/1/04. If you've enjoyed 631 this semester, you may want to take CMSC 838Z with Mike Hicks next semester, on language-based security.
• 11/20/04. As we voted on in class, the final exam will be a take-home exam given out at the end of the last day of class, on 12/9. You will have 24 hours to complete the exam.
• 11/17/04. I will be out of the office Friday, 11/19, so office hours that day are cancelled.
• 11/15/04. The project presentation schedule has been posted. You can find it on the lectures web page and the projects web page. Please let me know if I forgot you, or if you've changed partners. Please also email me a title for your talk. Finally, you may switch times with someone else in the class with their consent; if you convince someone to do so, both of you should send me email.
• 10/28/04. I will be traveling 10/29-11/7, quite possibly without email access, so office hours on 11/2 and 11/5 are cancelled. I will hold office hours on 10/29.
• 10/26/04. Solutions to homework 6 have been posted.
• 10/21/04. Slides for the theorem proving lectures are posting, which should be enough to complete project 4. Note they do not work under Preview on the Mac, but they work with acrobat reader.
• 10/21/04. Project 4 (which includes homework 7) is available.
• 10/18/04. Complete solutions for homework 5 have been posted. Office hours on Friday, October 22 are cancelled.
• 10/12/04. Slight change on homework 6: Part 2 is now optional, for extra credit.
• 10/12/04. Homework 6 and partial solutions to homework 5 have been posted.
• 10/12/04. Some project suggestions have been posted on the projects web page.
• 10/11/04. Office hours on Friday, 10/15 are canelled.
• 10/5/04. Homework 5 and solutions to homework 4 have been posted.
• 10/4/04. A reading for Thursday has been posted (sorry for the late notice).
• 9/30/04. Project 3 as well as the solutions to homework 3 have been posted.
• 9/28/04. Homework 4 has been posted.
• 9/21/04. Solutions to problem set 2 have been posted in the usual way (/s2.pdf).
• 9/21/04. Homework 3 and project 2 have been posted.
• 9/16/04. I fixed a typo in the answer to 5d on the solutions to homework 1. I had said too-small sets were safe, but actually too-large sets are safe.
• 9/14/04. Programming project submission instructions have been mailed out. Please email me right away if you did not receive an email.
• 9/14/04. Homework 2 has been posted. Solutions to homework 1 are also available, but there is no link to them to avoid caching. Go to the class home page /s1.pdf for solutions.
• 9/10/04. Homework 1, problem 2 clarification: Here I should have written Out(stmt) = Gen(stmt) + (In(stmt) - Kill(stmt)) (the S in the gen/kill equations refers to a statement, not a set).
• 9/7/04. The first homework assignment has been posted.
• 9/2/04. The first programming assignment has been posted. If you need a unix account to do the assignment, contact me.
• 9/2/04. The late policy for the class has been clarified on the home page.