Operating System Structure

Saltzer, J.H. and Gintell, J.W.
The Instrumentation of Multics
Communications of the ACM, Vol. 13, No. 8, August 1970, pp. 495-500.

Jerome H. Saltzer
Protection and the Control of Information Sharing in Multics
Communications of the ACM 17(7), July 1974.

Corbato, F., Merwin-Daggett, F., and Daley, R.
An Experimental Time-Sharing System
AFIPS Conference Proceedings, 1962 Spring Joint Computer Conference, pp. 335-344.

R. Levin, E. Cohen, W. Corwin, F. Pollack, and W. Wulf
Policy/Mechanism Separation in Hydra
Proc. of the 5th Symposium on Operating Systems Principles, November 1975, pp. 132-140.

Rashid, Rick F.
From RIG to Accent to Mach: The Evolution of a Network Operating System
Proceedings of the 1986 Fall Joint Computer Conference, pp. 1128-1137.

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.

Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, and Ke Zhang
Optimistic Incremental Specialization: Streamlining a Commercial Operating System
Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95), December 3-6, 1995, Copper Mountain, Colorado.
Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynksi, M.E., Becker, D., Chambers, C., and Eggers, S.
Extensibility, Safety and Performance in the SPIN Operating System
Proceedings of the Fifteenth Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 267-284.

Kaashoek, M. F., Engler, D., Ganger, G., Brice, H., Hunt, R., Mazires, D., Pinckney, T., Grimm, R., Jannotti, J., and Mackenzie, K.
Application Performance and Flexibility on Exokernel Systems
The Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, Saint-Malo, France, October 1997, pp. 52-65.

J. Bradley Chen and Brian Bershad
The Impact of Operating System Structure on Memory System Performance
14th Symposium on Operating System Principles (SOSP), 1993.

Stable Storage

Chris Ruemmler and John Wilkes
An Introduction to Disk Drive Modeling
IEEE Computer, March, 1994, Volume 27, Number 3, pp. 17-28

Peter M. Chen, Edward K. Lee, Garth A. Gibson, Randy H. Katz, David A. Patterson
RAID: High-Performance, Reliable Secondary Storage
ACM Computing Surveys, June 1994

Patterson, R. H., Gibson, G. A., Ginting, E., Stodolsky, D., and Zelenka, J.
Informed Prefetching and Caching
Proceedings of the Fifteenth Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 79-95.

Vivek Pai, Peter Druschel and Willy Zwaenepoel.
IO-Lite: A Unified I/O Buffering and Caching System
Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI'99), New Orleans, LA, February 1999

Wilkes, J., Golding, R., Staelin, C., and Sullivan, T.
The HP AutoRAID Hierarchical Storage System
Proceedings of the Fifteenth Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 96-108.

Douceur, J.R. and Bolosky, W.J.
A Large-Scale Study of File-System Contents
Proceedings of the ACM SIGMETRICS '99, International Conference on Measurement and Modeling of Computer Systems, Atlanta, GA, USA, 1-4 May 1999.

Process Management and Threads

Andrew D. Birrell
An Introduction to Programming with Threads
Digital SRC Research Report 35

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson
Eraser: A Dynamic Race Detector for Multithreaded Programs
Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (October 1997).

Jeffrey C. Mogul and Anita Borg
The Effect of Context Switches on Cache Performance
Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara, California, 1991, pp. 75-84

Concurrency and Synchronization

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

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

Butler W. Lampson, David D. Redell
Experiences with Processes and Monitors in Mesa
Communications of the ACM, 23 2, February 1980, pp. 105-117.
h Memory Management
Kieran Harty and David R. Cheriton
Application-Controlled Physical Memory using External Page-Cache Management
The Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 187--197, October 1992

Rashid, R., Tevanian, A., Young, M., Golub, D., Baron, R., Black, D., Bolosky, W., and Chew, J.
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto CA, October 1987, pp. 31-39.

Communication and Networking

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 C. Goldstein, Klaus E. Schauser
Active Messages: a Mechanism for Integrated Communication and Computation
Proc. of the 19th Int. Symp. on Computer Architecture, May 1992, pp. 256-266.

Van Jacobson and Michael J. Karels
Congestion Avoidance and Control
In Proceedings of SIGCOMM '88 (Stanford, CA, August, 1988)

L. S. Brakmo and L. L. Peterson
TCP Vegas: End to End Congestion Avoidance on a Global Internet
IEEE Journal of Selected Areas in Communication, Vol. 13, No. 8, pp. 1465-1480, October 1995

Distributed Systems

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

Michael D. Schroeder, Andrew D. Birrell and Roger M. Needham
Experience with Grapevine: The Growth of a Distributed System
ACM Trans. on Computer Systems, 2(1), February 1984.

Rober Haskin, Yoni Malachi and Gregory Chan
Recovery management in QuickSilver
ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, pp. 82-108

Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black.
Fine-Grained Mobility in the Emerald System
ACM Trans. on Computer Systems 6(1), February 1988, pp. 109-133.

Bruce Walker, Gerald Popek, Robert English, Charles Kline and Greg Thiel
The LOCUS Distributed Operating System
Proc. of the 9th ACM Symposium on Operating Systems Principles, October 1983, pp. 49-69.

Shoch, J.F. and Hupp, J.A.
The `Worm' Programs--Early Experience with a Distributed Computation
Communications of the ACM, Vol. 25, No. 3, March 1982, pp. 172-180.

L. Lamport,
Time, Clocks, and the Ordering of Events in a Distributed System
Communications of the ACM, July 1978, pages 558-564.

Distributed Stable Storage

John H. Hartman and John K. Ousterhout.
The Zebra Striped Network File System
ACM Transactions on Computer Systems 13, 3, August 1995, 279-310.

Anderson, T.E., Dahlin, M.D., Neefe, J.M., Patterson, D.A., Roselli, D.S., and Wang, R.Y.
Serverless Network File Systems
Proceedings of the Fifteenth Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 109-126.

Garth A. Gibson, David F. Nagle, Khalil Amiri, Fay W. Chang, Eugene M. Feinberg, Howard Gobioff, Chen Lee, Berend Ozceri, Erik Riedel, David Rochberg, Jim Zelenka
File Server Scaling with Network-Attached Secure Disks
Proc. of the ACM International Conference on Measurement and Modeling of Computer Systems (Sigmetrics '97), Seattle, Washington, June 15-18, 1997.

Vogels, Werner
File system usage in Windows NT 4.0
17th ACM Symposium on Operating Systems Principles (SOSP'99), Dec. 1999, pp. 93-109

Distributed Resource Management and Scheduling

Andrea C. Arpaci-Dusseau, David E. Culler, Alan Mainwaring
Scheduling with Implicit Information in Distributed Systems
Sigmetrics'98 Conference on the Measurement and Modeling of Computer Systems

Michael J. Feeley, William E. Morgan, Frederic H. Pighin, Anna R. Karlin, Henry M. Levy, and Chandramohan A. Thekkath.
Implementing Global Memory Management in a Workstation Cluster
In Proc. of the 15th ACM Symposium on Operating Systems Principles , December 1995.

Mobility

M. Baker, X. Zhao, S. Cheshire, J. Stone
Supporting Mobility in MosquitoNet
Proceedings of the 1996 USENIX Conference, San Diego, CA, January 1996.

Security

Ken Thompson
Reflections on Trusting Trust

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.
Kerberos in Four Acts

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.

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

Jerome H. Saltzer and Michael D. Schroeder
The Protection of Information In Computer Systems
Proceedings of the IEEE 63, 9 (September, 1975) pages 1278-1308.

Compiler-based papers

Fay Chang and Garth A. Gibson
Automatic I/O Hint Generation Through Speculative Execution
Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI), February 1999.

Todd C. Mowry and Angela K. Demke and Orran Krieger
Automatic Compiler-Inserted I/O Prefetching for Out-Of-Core Applications
Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, October, 1996, Seattle, Washington, pp. 3-18.

Robert Wahbe, Steven Lucco, Thomas Anderson, Susan Graham
Efficient Software-Based Fault Isolation
December, 1993, Asheville, North Carolina, pp. 203-216.

Fault Tolerance & Reliable Systems

Anita Borg, Wolfgang Blau, Wolfgang Graetsch, Ferdinand Heermann, Wolfgang Oberle
Fault Tolerance Under UNIX
Transactions on Computing Systems, February 1989, Vol 7:1, pp. 1-13

Jim Gray, Paul McJones, Bruce Lindsay, Raymond Lorie, Tom Price, Franco Putzolu, and Irving Traiger
The Recovery Manager of the System R Database Manager
ACM Computing Surveys 13, 2 (June, 1981), pages 223-242.

Jim Gray and Daniel P. Siewiorek
High-availability computer systems
Computer 24, 9 (September, 1991), pages 39-48.

L. Lamport, R. Shostak, and M. Pease
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems, July 1982, pages 382-401

Software Engineering

Brooks, Frederick
No Silver Bullet--Essence and Accidents of Software Engineering
IEEE Computer, Vol. 20, No. 7, April 1987, pp. 10-19.

Nancy G. Leveson and Clark S. Turner
An investigation of the Therac-25 accidents
Computer 26, 7 (July, 1993) pages 18-41.

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.

Whining about Operating Systems

Stonebraker, Michael
Operating System Support for Database Management
Communications of the ACM, Vol. 24, No. 7, July 1981, pp. 412-418.