UW Computer Science & Engineering

1. Historical Perspective

• (March 30) Dennis M. Ritchie and Ken Thompson. The UNIX Timesharing System. Communications of the ACM 17(7), July 1974.

• (March 30) Edsger W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM 11(5), May 1968.

• (April 4) Jerome H. Saltzer. Protection and the Control of Information Sharing in Multics. Communications of the ACM 17(7), July 1974.

• (April 4) Jack B. Dennis and Earl C. Van Horn. Programming Semantics for Multiprogrammed Computations. Communications of the ACM 9(3), March 1966, pp. 143-155.

2. Structure and Organization

• (April 6) W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The Kernel of a Multiprocessor Operating System. Communications of the ACM 17(6), June 1974, pp. 337-344.

• (April 6) Jeffrey Chase, Henry Levy, Michael Feeley, and Edward Lazowska. Sharing and Protection in a Single Address Space Operating System. ACM Trans. on Computer Systems, November 1994.

• (April 11) M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. Application Performance and Flexibility on Exokernel Systems. Proc. of the 16th ACM. Symposium on Operating Systems Principles, October 1997.
  

• (April 11) Mike Swift, Brian Bershad, and Henry Levy. Improving the Reliability of Commodity Operating Systems. Proc. of the 19th ACM Symp. on Operating Systems Principles, October 2003.

  Additional, optional background material:

  • D. Engler, D. Chen, A. Chou. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. Proc. of the 18th ACM Symp. on Operating Systems Principles, Oct. 2001.

  • B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety and Performance in the SPIN Operating System. Proc. of the 15th ACM. Symp. on Operating Systems Principles, December 1995.

  • Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: an operating system architecture for application-level resource management. In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995

3. Lightweight Threads and Scheduling

• (April 13) Thomas Anderson, Edward Lazowska, and Henry Levy. The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. IEEE Trans. on Computers 38(12), December 1989, pp. 1631-1644.

• (April 13) Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy. Scheduler Activations: Effective Kernel Support for the User-Level management of Parallelism. ACM Trans. on Computer Systems 10(1), Feburary 1992, pp. 53-79.

• (April 18) C. Waldspurger and W. Weihl. Lottery Scheduling: Flexible Proportional-Share Resource Management. Proceedings of the First USENIX Symposium on Operating System Design and Implementation, November 1994.

4. Communication

• (April 18) Roger M. Needham and Michael D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM 21(12), December 1978, pp.993-998.

• (April 25) Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Trans. on Computer Systems 2(1), February 1984, pp. 39-59.

• (April 25) Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight Remote Procedure Call. ACM Trans. on Computer Systems 8(1), February 1990, pp.37-55.

• (April 27) Michael D. Schroeder, Andrew D. Birrell and Roger M. Needham. Experience with Grapevine: The Growth of a Distributed System. ACM Trans. on Computer Systems, 2(1), February 1984.

• (April 27) Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black. Fine-Grained Mobility in the Emerald System. ACM Trans. on Computer Systems 6(1), February 1988, pp. 109-133.

  Additional, optional background material:

  • Bruce Walker, Gerald Popek, Robert English, Charles Kline and Greg Thiel. The LOCUS Distributed Operating System. Proc. of the 9th ACM Symposium on Operating Systems Principles, October 1983, pp. 49-69.

  • Michael Burrows, Martin Abadi and Roger Needham. A Logic of Authentication. ACM Trans. on Computer Systems 8(1), February 1990, pp. 18-36.

5. Virtual Memory Management and Distributed Virtual Memory

• (May 2) H. Levy and P. Lipman. Virtual Memory Management in VAX/VMS. Computer 15(3), March 1982, pp. 35-41.

• (May 2) R. Rashid, A.Tevanian, M. Young, D. Golub, R. Baron, D. Black, W. Bolosky, and J. Chew. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. Proc. of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems, October 1987, pp. 31-39.

• (May 4) Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Trans. on Computer Systems 7(4), November 1989, pp. 321-359.

• (May 4) M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steer, and J. Kistler. Lightweight Recoverable Virtual Memory. Proceedings of the 14th ACM Symposium on Operating Systems Principles, December 1993.

  Additional, optional background material:

  • K. Harty and D.Cheriton. Application-Controlled Physical Memory using External Page-Cache Management. Proc. of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems, 1992, pp. 187-197.

  • A. Appel and K. Li. Virtual Memory Primitives for User Programs. Proc. of the 4th International Conference on Architectural Support for Programming Langauges and Operating Systems, 1991.

6. File Systems and Distributed File Systems

• (May 11) Marshall K. McKusick, William N. Joy, Samuel J. Leffler, and Robert S. Fabry. A Fast File System for UNIX. ACM Trans. on Computer Systems 2(3), August 1984, pp. 181-197.

• (May 11) Mendel Rosenblum and John K. Ousterhout. The Design and Implementation of a Log-Structured File System. ACM Trans. on Computer Systems 10(1), February 1992, pp. 26-52.

• (May 16) John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Stayanayanan, Robert N. Sidebotham, and Michael J. West. Scale and Performance in a Distributed File System. ACM Trans. on Computer Systems 6(1), February 1988, pp. 51-81.

• (May 16) Michael N. Nelson, Brent B. Welch, and John K. Ousterhout. Caching in the Sprite Network File System. ACM Trans. on Computer Systems 6(1), February 1988, pp. 134-154.

7. Web-related Stuff

• (May 18) Armando Fox, Steven Gribble, Yatin Chawathe, Eric Brewer, and Paul Gauthier. Cluster-based Scalable Network Services . Proc. of the 16th ACM Symp. on Operating Systems Principles, October 1997, pp. 78-91.

• (May 18) Y. Saito, B. Bershad, and H. Levy. Manageability, Availability and Performance in Porcupine: A Highly Scalable Internet Mail Service. Proc. of the 17th ACM Symp. on Operating Systems Principles, Dec. 1999.

• (May 23) V.S. Pai, M. Aron, G. Banga, M. Svendsen, P. Druschel, W. Zwaenepoel, and E. Nahum. Locality-Aware Request Distribution in Cluster-Based Network Servers." Proc. of the 8th ACM/IEEE Symp. on Arch. Support for Prog. Lang. and Operating Systems, October 1998, pp.205-216.

• (May 23)) Vivek S. Pai, Peter Druschel, and Willy Zwaenepoel. Flash: An Efficient and Portable Web Server. Proceedings of the USENIX 1999 Annual Technical Conference. June 1999.

  Additional, optional background material:

  • M. Welsh, D. Culler, E. Brewer. SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. Proc. of the 18th ACM. Symp. on Operating Systems Principles, Oct. 2001.

  • S. Gribble, E. Brewer, J. Hellerstein, and D. Culler. Scalable, Distributed Data Structures for Internet Service Construction. Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI 2000), October 2000.

8. Virtual Machine Monitors

• (May 25) E. Bugnion, S. Devine and Mendel Rosenblum. Disco: Running Commodity Operating Systems on Scalable Multiprocessors. Proc. of the 16th ACM Symp. on Operating Systems Principles, October 1997.

• (May 25) Robert P. Goldberg. Survey of Virtual Machine Research. IEEE Computer Magazine 7(6) pp. 34-45, Jun. 1974

• (May 25) Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization Proc. of the 19th ACM Symp. on Operating Systems Principles, October 2003.

  Additional, optional background material:

  • Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh. Terra: A Virtual Machine-Based Platform for Trusted Computing. Proc. of the 19th ACM Symp. on Operating Systems Principles, October 2003.

  • Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. Scale and Performance in the Denali Isolation Kernel Proc. of the 5th Conf. on Operating Systems Design and Implementation, December 2002.

  • Carl A. Waldspurger. Memory Resource Management in VMware ESX Server Proceedings of the 5th Symposium on Operating Systems Design and Implementation, Boston MA, December 2002.

9. Peer-to-Peer Systems

• (May 30) Stefan Saroiu, Krishna Gummadi, Steve Gribble. A Measurement Study of Peer-to-Peer File Sharing Systems. Proc. of Multimedia Computing and Networking 2002, January 2002.

• (May 30) Krishna Gummadi, Richard Dunn, Stefan Saroiu, Steven Gribble, Henry Levy, and John Zahorjan. Measurement, Modeling, and Analysis of a Peer-to-Peer File-Sharing Workload. Proceedings of the 19th ACM Symp. on Operating Systems Principles, October 2003.

• (June 1) A. Rowstron and P. Druschel. Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility. Proc. of the 18th ACM. Symp. on Operating Systems Principles, Oct. 2001.

• (June 1) F. Dabek, M. F. Kaashoek, D. Karger, R. Morris, I. Stoica. Wide Area Cooperative Storage with CFS. Proc. of the 18th ACM. Symp. on Operating Systems Principles, Oct. 2001.

  Additional, optional background material:

  • A. Rowstron and P. Druschel. Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems. IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), Heidelberg, Germany, November 2001.

Computer Science & Engineering
University of Washington
PO Box 352350
Seattle, WA 98195-2350 USA