CSE590S: System Seminar
Fall Quarter, 2010
EEB 045
Schedule
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]