Optional additional papers:
- Edsger W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM 11(5), May 1968.
Optional additional papers:
- 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.
- Michael D. Schroeder and Jerome H. Saltzer. A Hardware Architecture for Implementing Protection Rings. Communications of the ACM, volume 15, number 3, March 1927, pp. 157-170.
- 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. (Related paper: Exterminate all OS abstractions)
- 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.
- Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. Proceedings of SOSP 1999.
- Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazi�res, Frans Kaashoek and Robert Morris. Labels and Event Processes in the Asbestos Operating System. Proceedings of SOSP 2005, October 2005. (slides)
- Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazi�res. Making information flow explicit in HiStar. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, Seattle, WA, November 2006.
- Galen Hunt, James Larus, Mart�n Abadi, Mark Aiken, Paul Barham, Manuel F�hndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill. An Overview of the Singularity Project. Microsoft Research Technical Report MSR-TR-2005-135, October 2005.
- Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, and Steven Levi. Solving the Starting Problem: Device Drivers as Self-Describing Artifacts. Proceedings of EuroSys2006. Leuven, Belgium, April 2006.
Optional additional papers:
- 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.
- 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.
- A. Bensoussan, C.T. Clingen, and R.C. Daley. The Multics virtual memory: concepts and design. Communciations of the ACM, volume 15, issue 5, May 1972.
- Daniel J. Scales and Kourosh Gharachorloo. Towards Transparent and Efficient Software Distributed Shared Memory. Proceedings of SOSP 1997.
Optional additional papers:
- 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.
- attacking LFS by seltzer or ousterhout?
- J. Wilkes, R. Golding, C. Staelin, and T. Sullivan. The HP AutoRAID hierarchical storage system. Proceedindgs of SOSP 1995.
- Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, Marvin M. Theimer, and Alan J. Demers. Flexible Update Propagation for Weakly Consistent Replication: Managing Update Conflicts in Bayou. Proceedings of SOSP 1997.
- John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, and Ben Zhao. OceanStore: An Architecture for Global-Scale Persistent Storage. Proceedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000), November 2000.
- Margo I. Seltzer, Gregory R. Ganger, M. Kirk McKusick, Keith A. Smith, Craig A. N. Soules, Christopher A. Stein. Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems. Proceedings of the 2000 USENIX Annual Technical Conference, June 2000.
- Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, and Jacob Ofir. Deciding when to forget in the Elephant file system. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP '99).
Optional additional papers:
- Butler Lampson and David Redell. Experience with Processes and Monitors in Mesa. Communications of the ACM, volume 23, issue 2, Feburary 1980.
- J.N. Gray, R.A. Lorie, G.R. Putzolu, and I.L. Traiger. Granularity of Locks and Degrees of Consistency in a Shared Database. Readings in Database Systems, 3rd Edition, Morgan Kaufmann Series in Data Management Systems.
- 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.
- Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer. Capriccio: Scalable Threads for Internet Services.. Proceedings of SOSP 2003.
- Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems (TOCS), volume 15, issue 4, November 1997.
Optional additional papers:
- 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.
- 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.
- Thorsten von Eicken, David E. Culler, Seth Copen Goldstein, Klaus Erik Schauser. Active messages: a mechanism for integrated communication and computation. Proceedings of the 19th Annual International Symposium on Computer Architecture (ISCA 1992).
- Patrick Th. Eugster, Pascal A. Felber, Rachid Guerraoui, and Anne-Marie Kermarrec. The many faces of publish/subscribe. ACM Computing Surveys (CSUR), volume 35, issue 2, June 2003.
Optional additional papers:
- 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.
- 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.
- 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.
- 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.
- Jeffrey C. Mogul and K.K. Ramakrishnan. Eliminating Receive Livelock in an Interrupt-driven Kernel. ACM Transactions on Computer Systems (TOCS), volume 15, issue 3, August 1997.
- 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.
- Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly. Dryad: Distributed Data-Parallel Programs from Sequential Building Blocks. Proceedings of the European Conference on Computer Systems (EuroSys 2007), Lisbon, Portugal, March 2007.
Optional additional papers:
- 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.
- Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex C. Snoeren, Geoffrey M. Voelker, and Stefan Savage. Scalability, Fidelity, and Containment in the Potemkin Virtual Honeyfarm. Proceedings of SOSP 2005.
- 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.
- Ram�n C�ceres, Casey Carter, Chandra Narayanaswami, and Mandayam Raghunath. Reincarnating PCs with Portable SoulPads. Proceedings of the Third International Conference on Mobile Systems, Applications, and Services (MobiSys '05), 2005.
- R. Chandra, N. Zeldovich, C. Sapuntzakis, and M. S. Lam. The Collective: A Cache-Based System Management Architecture. Proceedings of the Second Symposium on Networked Systems Design and Implementation (NSDI 2005), May 2005.
- Ashlesha Joshi, Samuel T. King, George W. Dunlap, and Peter M. Chen. Detecting Past and Present Intrusions through Vulnerability Specific Predicates. Proceedings of SOSP 2005.
Optional additional papers:
- 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.
- Stefan Saroiu, Krishna P. Gummadi, Richard J. Dunn, Steven D. Gribble, and Henry M. Levy. An Analysis of Internet Content Delivery Systems. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002.
- 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.
- Michael Piatek, Tomas Isdal, Thomas Anderson, Arvind Krishnamurthy, Arun Venkataramani. Do incentives build robustness in BitTorrent?, Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 2007).
- 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.
- A. Rowstron and P. Druschel. Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility. Proceedings of the 18th ACM Symposium on Operating Systems Principles, Oct. 2001.
- Sean Rhea, Dennis Geels, Timothy Roscoe, and John Kubiatowicz. Handling Churn in a DHT. Proceedings of the USENIX Annual Technical Conference, June 2004.
Optional additional papers:
- 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.
- Mike Swift, Brian Bershad, and Henry Levy. Improving the Reliability of Commodity Operating Systems. Proceedings of the 19th ACM Symposium on Operating Systems Principles, October 2003.
- Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy. Recovering Device Drivers. Proceedings of the 6th ACM/USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, Dec. 2004.
- Ian Goldberg, David Wagner, Randi Thomas, and Eric Brewer. A Secure Environment for Untrusted Helper Applications: Confining the Wily Hacker. Proceedings of the Sixth USENIX UNIX Security Symposium, San Jose, California, July 1996.
- Richard S. Cox, Jacob Gorm Hansen, Steven D. Gribble, and Henry M. Levy. A Safety-Oriented Platform for Web Applications. Proceedings of the 2006 IEEE Symposium on Security and Privacy, Oakland, CA, May 2006.
- Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh. Terra: A Virtual Machine-Based Platform for Trusted Computing. Proceedings of the 19th ACM Symposium on Operating Systems Principles, October 2003.
- Michael Burrows, Martin Abadi and Roger Needham. A Logic of Authentication. ACM Transactions on Computer Systems 8(1), February 1990, pp. 18-36.
Optional additional papers:
- Charles Anthony Richard Hoare. The Emperor's Old Clothes. Communications of the ACM, Vol. 24, No. 2, February 1981.