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 5 before 11:59PM
Due Oct 16 17 before 11:59PM
Notes on tail recursion
Due Oct 26 before 11:59PM
Due Nov 9 before 11:59PM
Due Nov 17 before 11:59PM
Due Nov 25 28 before 11:59PM
Due Dec 8 before 11:59PM
10/12: On Understanding Data Abstraction, Revisited (OOPSLA 2009)
10/24: Social Processes and Proofs of Theorems and Programs (1979)
11/16: Formal Certification of a Compiler Back-en (POPL 2006)
11/26: Checking system rules using system-specific, programmer-written compiler extensions (OSDI 2000)
12/03: A few billion lines of code later: using static analysis to find bugs in the real world (Communications of the ACM 2010)