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 1971, 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.
- 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.
- 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.
- Dorothy Denning. A Lattice Model of Secure Information Flow, CACM 19(5), 1976.
- 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:
- H. Levy and P. Lipman. Virtual Memory Management in VAX/VMS. Computer 15(3), March 1982, pp. 35-41.
- 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:
- 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.
- Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon. Design and Implementation of the Sun Network Filesystem, Proceedings of the Summer 1985 USENIX Conference, Portland, OR, June 1985.
- 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?
- James J. Kistler and M. Satyanarayanan. Disconnected Operation in the Coda File System. ACM Transactions on Computer Systems (TOCS), volume 10, issue 1, February 1992.
- 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).
- Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E. Gruber. Bigtable: A Distributed Storage System for Structured Data, Proceedings of the Seventh Symposium on Operating System Design and Implementation (OSDI 2006), Seattle, WA, November 2006.
- Brian Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Phil Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver, Ramana Yerneni. PNUTS: Yahoo!'s Hosted Data Serving Platform, Proceedings of the 34th International Conference on Very Large Data Bases (VLDB 2008), Auckland, New Zealand, August 2008.
- Jeaf Dean, Designs, Lessons and Advice from Building Large Distributed Systems, keynote talk given during the 3rd ACM SIGOPS International Workshp on Large Scale Distributed Systems and Middleware (LADIS 2009), October 11, 2009.
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.
- John M. Mellor-Crummey and Michael L. Scott. Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ACM Transactions on Computer Systems, Volume 9, Number 1, February 1991.
- 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.
- Joseph Devietti, Brandon Lucia, Luis Ceze, and Mark Oskin. DMP: Deterministic Shared Memory Multiprocessing. Proceedings of ASPLOS 2009.
- Maurice Herlihy and J. Eliot B. Moss. Transactional Memory: Architectural Support for Lock-Free Data Structures. Proceedings of the 20th Annual International Symposium on Computer Architecture (ISCA '93).
- Lance Hammond, Vicky Wong, Mike Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, and Kunle Olukotun. Transactional Memory Coherence and Consistency. Proceedings of the 31st International Symposium on Computer Architecture (ISCA '04).
Optional additional papers:
- Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, and Steven Levi. Language Support for Fast and Reliable Message-based Communication in Singularity OS. Proceedings of EuroSys2006. Leuven, Belgium, April 2006.
- 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:
- 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.
- 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:
- Eric A. Brewer. Lessons from Giant-Scale Services. IEEE Internet Computing, July 2001.
- Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. Proceedings of the Sixth Symposium on Operating System Design and Implementation (OSDI '04), San Francisco, CA, December, 2004.
- Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E. Gruber. Bigtable: A Distributed Storage System for Structured Data. Proceedings of OSDI 2006, November 2006.
- 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.
- Jeaf Dean, Designs, Lessons and Advice from Building Large Distributed Systems, keynote talk given during the 3rd ACM SIGOPS International Workshp on Large Scale Distributed Systems and Middleware (LADIS 2009), October 11, 2009.
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.
- 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.