Note that due to copyright limitations, you can only download the papers from campus computers.

Memory Management

1. Michael D. Schroeder and Jerome H. Saltzer, A Hardware Architecture for Implementing Protection Rings, Communications of the ACM, 15 3, March 1972, pp. 157-170.

Synchronization and Communication

2. C.A.R. Hoare, Communicating Sequential Processes, Communications of the ACM 21, 8, August 1978, pp. 666-677.

3. C.A.R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM 17, 10, October 1974, pp. 549-557

4. Butler W. Lampson, David D. Redell, Experiences with Processes and Monitors in Mesa, Communications of the ACM, 23 2, February 1980, pp. 105-117.

Kernels

5. Barton P. Miller, David L. Presotto, Michael L. Powell, DEMOS/MP: The Development of a Distributed Operating System, Software-Practice & Experience 17 4, April 1987, pp. 277-290.

6. Forest Baskett, John H. Howard, John T. Montague, Task Communication in DEMOS, 6th Symposium on Operating Systems Principles (SOSP), November 1977, pp. 23-31.

7. Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black, Robert Baron, The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System, 11th Symposium on Operating Systems Principles (SOSP), Austin, Texas, November 1987, pp. 63-76.

8. Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos, First-Class User-Level Threads, 13th Symposium on Operating Systems Principles (SOSP), Asilomar, California, October 1991, pp. 110-121.

9. C.A. Waldspurger, Memory Resource Management in VMWare ESX Server, 5th Symposium on Operating System Design and Implementation, Boston, December 2002.

10. M. Nelson B.-H. Lim, G. Hutchins, Fast Transparent Migration for Virtual Machines, 2005 USENIX Annual Technical Conference, Anaheim, California, April 2005.

11. [Optional] E. Bugnion, S. Devine, M. Rosenblum, Disco: Running Commodity Operating Systems on Scalable Multiprocessors, 1997 16th Symposium on Operating System Principles, Saint-Malo, France, October 1997.

12. [Optional] J. Sugerman, G. Venkitachalam, B.-H. Lim, Virtualizing I/O Devices on VMWare Workstation's Host Virtual Machine Monitor, 2001 USENIX Annual Technical Conference, Boston, June 2001.

13. Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, Information and Control in Gray-Box Systems 18th ACM Symposium on Operating Systems Principles (SOSP '01), Banff, Canada, October 2001.

Adaptable/Extensible Systems

14. Henry Massalin, Carlton Pu, Theads and Input/Output in the Synthesis Kernel, 12th Symposium on Operating Systems Principles (SOSP), Litchfield Park, Arizona, December 1989, pp. 191-201.

15. Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr, Exokernel: An Operating System Architecture for Application-level Resource Management 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995, pp. 251-266.

16. Ariel Tamches, Barton P. Miller, Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels, Third Symposium on Operating Design and Implementation (OSDI), New Orleans, February 1999.

File Systems

17. Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, and John K. Ousterhout, Measurements of a Distributed File System 13th Symposium on Operating System Principles, Pacific Grove CA, October 1991, pp. 198-212.

18. M.K McKusick, W. N. Joy, S. J. Leffler, R. S. Fabry, A Fast File System for UNIX, ACM Trans. on Computer Systems, 2 3, August 1984, pp. 181-197.

19. Mendel Rosenblum, John K. Ousterhout, The Design and Implementation of a Log-Structured File System, 13th Symposium on Operating Systems Principles, Asilomar, California, pp. 1-15. October 1991.

20. Vivek Pai, Peter Drushel, Willy Zwaenepoel, IO-Lite: A Unified I/O Buffering and Caching System, Third Symposium on Operating Design and Implementation (OSDI), New Orleans, February 1999.

21. Bruce Walker, Gerald Popek, Robert English, Charles Kline, Greg Thiel, The LOCUS Distributed Operating System, 9th Symposium on Operating Systems Principles (SOSP), Bretton Woods, New Hampshire, November 1983, pp. 49-70.

22. M. Satyanarayanan, John H. Howard, David A. Nichols, Robert N. Sidebotham, Alfred Z. Spector, Michael J. West, The ITC Distributed File System: Principles and Design, 10th Symposium on Operating Systems Principles (SOSP), Orcas Island, Washington, pp. 35-50. December 1985.

23. James J. Kistler, M. Satyanarayanan, Disconnected Operation in the Coda File System, 13th Symposium on Operating Systems Principles, Asilomar, California, pp. 213-225. October 1991.

24. Werner Vogels, File System Usage in Windows NT 4.0, 17th Symposium on Operating Systems Principles, December 1999, Kawah Island Resort, South Carolina, pp. 93-109.

    A short paper on power-law functions can be found at:
    L.A. Adamic, Zipf, Power-laws, and Pareto - a ranking tutorial, Information Dynamics Lab, HP Labs, October 2000.

25. [Optional] David A. Patterson, Garth Gibson, Randy H. Katz, A Case for Redundant Array of Inexpensive Disks (RAID), ACM SIGMOD International Conference on Management of Data, 1988, pp. 109-116.

Protection and Security

26. Gerald J. Popek, Charles S. Kline, Encryption and Secure Computer Networks, Computing Surveys, 11 4, December 1979, pp. 331-356.

27. J. G. Steiner, C. Neuman, J. I. Schiller, Kerberos: An Authentication Service for Open Network Systems, USENIX '88, Dallas, TX, February 1988, pp. 191-202.

28. Ross Anderson, Markus Kuhn, Tamper Resistance - a Cautionary Note, 2nd USENIX Workshop on Electronic Commerce, Oakland, California, November 1996, pp. 1-11.

Distributed Systems

29. Andrew D. Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder, Grapevine: An Exercise in Distributed Computing, Communications of the ACM, 25 4, April 1982, pp. 260-274.

30. Andrew D. Birrell, Bruce Jay Nelson, Implementing Remote Procedure Calls, ACM Transactions on Computer Systems, 2 1, February 1984, pp. 39-59.

31. Rob Pike, David L. Presotto, Sean Dorward, Bob Flandrena, Ken Thompson, Howard Trickey, Phil Winterbottom, Plan 9 from Bell Labs, Computer Systems 8, 3, Summer 1995, pp. 221-254.

Experience and Systems Reports

32. Hugh C. Lauer, Observations on the Development of an Operating System, 8th Symposium on Operating Systems Principles (SOSP), Pacific Grove, California, December 1981, pp. 30-36.

Reliability and Recovery

33. Jacques-Louis Lions, Lennart Lebeck, Jean-Luc Fauquembergue, Gilles Kahn, Wolfgang Kubbat, Stefan Levedag, Leonardo Mazzini, Didier Merle Thomson, Colin O'Halloran, ARIANE 5 Flight 501 Failure: Report by the Inquiry Board, European Space Agency Report, Paris, July 1996.

Last modified: Wed Nov 9 15:58:28 CST 2005 by bart