UNIVERSITY OF WISCONSIN-MADISON
Computer Sciences Department
CS 736
Fall 2011 		Barton Miller
CS 736: Reading List

This list is mostly updated for Fall 2011. Expect a few changes, but nothing major.

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.

    2. 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.

  5. Tongping Liu, Charlie Curtsinger, Emery D. Berger, Dthreads: Efficient Deterministic Multithreading, 23rd Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.

    6. Kernels

  6. 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.

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

  8. 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.

  9. 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.

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

  11. 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, 19th ACM Symposium on Operating Systems Principles (SOSP '03), Lake George, NY, October 2003.

  12. [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.

  13. [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.

  14. 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.

    15. Adaptable/Extensible Systems

  15. 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.

  16. 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.

  17. 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.

    18. File Systems

  18. 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.

  19. 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.

  20. Stephen C. Tweedie, Journaling the Linux ext2fs Filesystem, Fourth Annual Linux Expo, Duhram, N.C., May 1998.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

  25. 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.

  26. 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.

  27. [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.

    28. Protection and Security

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

  29. 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.

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

    31. Distributed Systems

  31. 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.

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

  33. 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.

    34. Experience and Systems Reports

  34. [Optional] 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.

    35. Reliability and Recovery

  35. 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 Aug 31 08:56:50 CDT 2011 by bart