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
Peter J. Denning,
"The Working Set Model of Program Behavior",
Communications of the ACM,
11
5,
May 1968,
pp. 323-333.
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.
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.
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
Gregory R. Andrews,
Fred. B. Schneider,
"Concepts and Notations for Concurrent Programming",
ACM Computing Surveys,
15
1,
March 1983,
pp. 3-44.
-
Butler W. Lampson,
David D. Redell,
"Experiences with Processes and Monitors in Mesa",
Communications of the ACM,
23
2,
February 1980,
pp. 105-117.
-
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
-
Anita K. Jones,
William A. Wulf,
"Towards the Design of Secure Systems",
Software - Practice and Experience,
5
4,
1975,
pp. 321-336.
-
Frederick T. Gramp,
Robert H. Morris,
"UNIX Operating System Security",
AT&T Bell Laboratories Technical Journal,
63
8,
October 1984,
pp. 1649-1672.
-
Gerald J. Popek,
Charles S. Kline,
"Encryption and Secure Computer Networks",
Computing Surveys,
11
4,
December 1979,
pp. 331-356.
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
Graham Hamilton,
Panos Kougiouris,
"The Spring Nucleus: A Microkernel for Objects",
1993 Summer USENIX Conference,
Cincinatti,
June 1993,
pp. 3-44.
File Systems
-
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.
-
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.
-
David K. Gifford,
Robert N. Needham,
Michael D. Schroeder,
"The Cedar File System",
Communications of the ACM,
31
3,
pp. 288-297.
March 1988,
-
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,
-
Russel Sandberg,
David Goldberg,
Steve Kleiman,
Dan Walsh,
Bob Lyon,
"Design and Implementation of the Sun Network File Systems",
Sun Microsystems Inc.
-
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,
-
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
-
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.
-
Andrew D. Birrell,
Bruce Jay Nelson,
"Implementing Remote Procedure Calls",
ACM Transactions on Computer Systems,
2
1,
February 1984,
pp. 39-59.
-
Rob Pike,
David L. Presotto,
Ken Thompson,
Howard Trickey,
"Plan 9 from Bell Labs",
Proceedings of the 1990 USENIX Conference,
Experience and Systems Reports
-
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.
-
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
-
David K. Gifford,
"Weighted Voting for Replicated Data",
Proceedings of the 7th SOSP, Operating Systems Review,
13
5,
pp. 150-169.
1979,
-
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.
-
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
-
Donald Knuth,
"Notes on Technical Writing",
Unpublished article,
-
Desiree Thalley,
"Know how to write the right way?",
Wisconsin State Journal,
Sunday, November 18, 1984,
pp. 6.
-
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