Date: Tue, 05 Nov 1996 00:31:16 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Sat, 05 Oct 1996 13:07:44 GMT Content-length: 7550 CS 736 Paper Reading List

CS 736 Paper Reading List

Return to CS736 home page.

    Memory Management

  1. Peter J. Denning, "The Working Set Model of Program Behavior", Communications of the ACM, 11 5, May 1968, pp. 323-333.
  2. Richard Carr, John Hennessy, "WSCLOCK - A Simple and Effective Algorithm for Virtual Memory Management", Proceedings of the 8th SOSP, Operating Systems Review, 15 5, December 1981, pp. 87-95.
  3. Ozalp Babaoglu, William Joy, "Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits", Proceedings of the 8th SOSP, Operating Systems Review, 15 5, December 1981, pp. 78-86.
  4. 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", Proceedings of the 11th SOSP, Operating Systems Review, 21 5, November 1987, pp. 63-76.

    Synchronization and Communication

  5. Gregory R. Andrews, Fred. B. Schneider, "Concepts and Notations for Concurrent Programming", ACM Computing Surveys, 15 1, March 1983, pp. 3-44.
  6. Butler W. Lampson, David D. Redell, "Experiences with Processes and Monitors in Mesa", Communications of the ACM, 23 2, February 1980, pp. 105-117.
  7. Hugh C. Lauer, Roger M. Needham, "On the Duality of Operating System Structures", Operating Systems Review, 13 2, April 1979, pp. 3-19.

    Protection and Security

  8. Anita K. Jones, William A. Wulf, "Towards the Design of Secure Systems", Software - Practice and Experience, 5 4, 1975, pp. 321-336.
  9. Frederick T. Gramp, Robert H. Morris, "UNIX Operating System Security", AT&T Bell Laboratories Technical Journal, 63 8, October 1984, pp. 1649-1672.
  10. Gerald J. Popek, Charles S. Kline, "Encryption and Secure Computer Networks", Computing Surveys, 11 4, December 1979, pp. 331-356.
  11. 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.

    Kernels

  12. David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell, "Pilot: An Operating System for a Personal Computer", Communications of the ACM, 23 2, February 1980, pp. 81-92.
  13. 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.
  14. David R. Cheriton, Willy Zwaenepoel, "The Distributed V Kernel and its Performance for Diskless Workstations", Proceedings of the 9th SOSP, Operating Systems Review, 17 5, November 1983, pp. 129-140.
  15. Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos, "First-Class User-Level Threads", Proceedings of the 13th SOSP, Operating Systems Review, 25 5, October 1991, pp. 110-121.
  16. Henry Massalin, Carlton Pu, "Theads and Input/Output in the Synthesis Kernel", Proceedings of the 12th SOSP, Operating Systems Review, 23 5, December 1989, pp. 191-201.
  17. Graham Hamilton, Panos Kougiouris, "The Spring Nucleus: A Microkernel for Objects", 1993 Summer USENIX Conference, Cincinatti, June 1993, pp. 3-44.

    File Systems

  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. Bruce Walker, Gerald Popek, Robert English, Charles Kline, Greg Thiel, "The LOCUS Distributed Operating System", Proceedings of the 9th SOSP, Operating Systems Review, 17 5, November 1983, pp. 49-70.
  20. David K. Gifford, Robert N. Needham, Michael D. Schroeder, "The Cedar File System", Communications of the ACM, 31 3, pp. 288-297. March 1988,
  21. Mendel Rosenblum, John K. Ousterhout, "The Design and Implementation of a Log-Structured File System", Proceedings of the 10th SOSP, Operating Systems Review, 25 5, pp. 1-15. October 1991,
  22. Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon, "Design and Implementation of the Sun Network File Systems", Sun Microsystems Inc.
  23. John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, Michael J. West, "Scale and Performance in a Distributed File System", ACM Transactions on Computer Systems, 6 1, pp. 51-81. February 1988,
  24. James J. Kistler, M. Satyanarayanan, "Disconnected Operation in the Coda File System", Proceedings of the 10th SOSP, Operating Systems Review, 25 5, pp. 213-225. October 1991,

    Distributed Systems

  25. 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.
  26. Andrew D. Birrell, Bruce Jay Nelson, "Implementing Remote Procedure Calls", ACM Transactions on Computer Systems, 2 1, February 1984, pp. 39-59.
  27. Rob Pike, David L. Presotto, Ken Thompson, Howard Trickey, "Plan 9 from Bell Labs", Proceedings of the 1990 USENIX Conference,

    Experience and Systems Reports

  28. Hugh C. Lauer, "Observations on the Development of an Operating System", Proceedings of the 8th SOSP, Operating Systems Review, 15 5, December 1981, pp. 30-36.
  29. Butler W. Lampson, "Hints for Computer System Design", Proceedings of the 9th SOSP, Operating System Review, 17 5, pp. 33-48. October 1983,

    Reliability and Recovery

  30. David K. Gifford, "Weighted Voting for Replicated Data", Proceedings of the 7th SOSP, Operating Systems Review, 13 5, pp. 150-169. 1979,
  31. 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. URL: http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html or http://www.cs.wisc.edu/~bart/ariane5rep.html.
  32. Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek, "Specification and Verification of the UCLA Unix Security Kernel", Communications of the ACM, 23 2, February 1980, pp. 118-131.

    Technical Writing

  33. Donald Knuth, "Notes on Technical Writing", Unpublished article,
  34. Desiree Thalley, "Know how to write the right way?", Wisconsin State Journal, Sunday, November 18, 1984, pp. 6.
  35. Roy Levin, David D. Redell, "An Evaluation of the 9th SOSP Submissions", Operating Systems Review, 17 3, July 1983, pp. 35-40.

Last modified: Fri Oct 4 08:04:27 CDT 1996 by bart