10/27 Cancelled because of affiliates 11/03 Dennis and Van Horn, Programming Semantics for Multiprogrammed Computations, CACM 1983 [lead: Ben Lerner] 11/10 Lampson and Sturgis, Crash Recovery in Distributed Systems, Xerox PARC TR, 1979 [lead: Pete Hornyack] 11/17 Engler et al., Checking System Rules Using System-Specific, Programmer Written Compiler Extensions, OSDI 2000 [lead: Tom Bergan] 11/24 Thompson, Reflections on Trusting Trust, CACM 1984 [lead: Justin Cappos] 12/01 Kohler et al. The Click Modular Router, ACM TOCS 2000. [lead: Colin Scott] 12/08 Rosenblum and Ousterhout, Log Structured File Systems, ACM TOCS, 1992. [lead: Brandon Myers]