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.
David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C.Purcell
Pilot: An Operating System for a Personal Computer
Communications of the ACM 23(2), February 1980, pp. 81-92.
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.
9 - 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.
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.
14 - Brian Pawlowski, Chet Juszczak, Peter Staubach, Carl Smith, Diane Lebel, David Hitz
NFS Version 3 Design and Implementation
USENIX Summer Technical Conference 1994, June 1994.
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.
File system usage in Windows NT 4.0
17th ACM Symposium on Operating Systems Principles (SOSP'99), Dec. 1999, pp. 93-109
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.
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
Communicating Sequential Processes
Communications of the ACM 21, 8, August 1978, pp. 666-677
M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black, and R. Baron
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System
Proceedings of the Eleventh ACM Symposium on Operating System Principles (SOSP '87), November 8-11, 1987, pages 63-76
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.
Time, Clocks, and the Ordering of Events in a Distributed System
Communications of the ACM, July 1978, pages 558-564.
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.
M. Baker, X. Zhao, S. Cheshire, J. Stone
Supporting Mobility in MosquitoNet
Proceedings of the 1996 USENIX Conference, San Diego, CA, January 1996.
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.
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.
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
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.
51 - Bentley, Jon
The Back of the Envelope
Communications of the ACM, Vol. 27, No. 3, March 1984, pp. 180-184.
The Envelope is Back
Communications of the ACM, Vol. 29, No. 3, March 1986, pp. 176-182.
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