The format for this quarter will be slightly different than previous quarters. For each paper, three students will pitch in:
Note that there are 20 people currently enrolled in the class. Given there are 8 papers we'll be covering, this means everybody enrolled in the class will be assigned a role, and some of you will be assigned more than one.
Here are the papers that we'll be covering:
Serverless Network File Systems, by Thomas E. Anderson, Michael D. Dahlin, Jeanna M. Neefe, David A. Patterson, Drew S. Roselli, and Randolph Y. Wang. Proceedings of the 15th ACM Symposium on Operating Systems Principles, 1995.
OceanStore: An Architecture for Global-Scale Persistent Storage, by John Kubiatowicz et al. Proceedings of the Ninth International Conference on Architectural Support for Programming Languaes and Operating Systems (ASPLOS 2000), November 2000.
Disconnected operation in the Coda file system, by James J. Kistler and M. Satyanarayanan. ACM TOCS Volume 10, Number 1, February 1992. (Also in SOSP 1991.)
Deciding when to forget in the Elephant file system, by Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, and Jacob Ofir. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP 99), 1999.
File systems "wrap-up" event. There will be two people assigned to this event:
Safe Kernel Extensions without Run-Time Checking, by George C. Necula and Peter Lee. Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), 1996.
Reflections on Trusting
Trust by Ken Thompson. Turing Award Lecture, 1984.
Terra: A Virtual Machine Platform for
Trusted Computing, by Talk Garfinkel, Ben Pfaff, Jim Chow,
Mendel Rosenblum, and Dan Boneh. Proceedings of the 19th ACM
Symposium on Operating Systems Principles, 2003.
An Investigation of the Therac-25 Accidents, by Nancy G. Leveson and Clark S. Turner. IEEE Computer, July 1993.