Your assignments must all work and be turned in on ieng6.ucsd.edu. If you don't know your username can can find it using the Account Lookup Tool. There will be a link to set a password before the account can be used for the first time.
Due Oct 6 before 11:59PM
Due Oct 17 before 11:59PM
Notes on tail recursion
Due Oct 27 before 11:59PM
Due Nov 10 before 11:59PM
Due Nov 20 before 11:59PM
Due Nov 29 before 11:59PM
Due Dec 7rd before 11:59PM
10/16: On Understanding Data Abstraction, Revisited (OOPSLA 2009)
10/23: Social Processes and Proofs of Theorems and Programs (1979)
10/30: Formal Certification of a Compiler Back-en (POPL 2006)
11/17: Checking system rules using system-specific, programmer-written compiler extensions (OSDI 2000)
11/29: A few billion lines of code later: using static analysis to find bugs in the real world (Communications of the ACM 2010)