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.
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.
Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr.
Exokernel: An Operating System Architecture for Application-level Resource Management
In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995, pages 251-266.
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.
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
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.
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
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.
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.
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.
Garth A. Gibson, Dave F. Nagle, Khalil Amiri, Jeff Butler, Fay W. Chang, Howard Gobioff, Charles Hardin, Erik Riedel, David Rochberg, Jim Zelenka
A Cost-Effective, High-Bandwidth Storage Architecture
Proceedings of the 8th Conference on Architectural Support for Programming Languages and Operating Systems
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 and Daniel P. Siewiorek
High-availability computer systems
Computer 24, 9 (September, 1991), pages 39-48.
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.