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.
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.
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
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.
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
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.
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
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.
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.
Robert Wahbe, Steven Lucco, Thomas Anderson, Susan Graham
Efficient Software-Based Fault Isolation
December, 1993, Asheville, North Carolina, pp. 203-216.
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.