5. SOSP 1975: Austin, Texas, USA

Virtual Memory Algorithms

• Richard Y. Kain: How to Evaluate Page Replacement Algorithms. 1-5 BibTeX
• E. Sadeh: An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm. 6-13 BibTeX

Protection and Security

• Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman: On Protection in Operating System. 14-24 BibTeX
• Michael D. Schroeder: Engineering a Security Kernel for Multics. 25-32 BibTeX

Case Studies

• D. L. Bayer, H. Lycklama: MERT - A Multi-Environment Real-Time Operating System. 33-42 BibTeX
• Philippe A. Janson: Dynamic Linking and Environment Initialization in a Multi-Domain Process. 43-50 BibTeX
• J. L. Pruitt, W. W. Case: Architecture of a Real-Time Operating System. 51-59 BibTeX

Network Operating Systems

• Gregory L. Chesson: The Network Unix System. 60-66 BibTeX
• E. A. Akkoyunlu, K. Ekanandham, R. V. Huber: Some Constraints and Tradeoffs in the Design of Network Communications. 67-74 BibTeX
• B. S. Cosell, P. R. Johnson, J. H. Malman, Richard E. Schantz, J. Sussman, Robert H. Thomas, David C. Walden: An Operating System for Computer Resource Sharing. 75-81 BibTeX

Virtual Machines

• John D. Bagley, E. R. Floto, S. C. Hsieh, V. Watson: Sharing Data and Services in a Virtual Machine System. 82-88 BibTeX
• Gerald Belpaire, Nai-Ting Nsu: Formal Properties of Recursive Virtual Machine Architectures. 89-96 BibTeX
• Gerald J. Popek, Charles S. Kline: The PDP-11 Virtual Machine Architecture: A Case Study. 97-105 BibTeX

Correctness and Reliability

• David L. Russell, Thomas H. Bredt: Error Resynchronization in Producer-Consumer Systems. 106-113 BibTeX

System Design

• Bruce W. Arden, Alan D. Bernbaum: A Multi-Microprocessor Computer System Architecture. 114-121 BibTeX

The HYDRA Operating System

• William A. Wulf, Roy Levin, C. Pierson: Overview of the HYDRA Operating System Development. 122-131 BibTeX
• Roy Levin, Ellis S. Cohen, William M. Corwin, Fred J. Pollack, William A. Wulf: Policy/Mechanism Separation in HYDRA. 132-140 BibTeX
• Ellis S. Cohen, David Jefferson: Protection in the HYDRA Operating System. 141-160 BibTeX

Processor Scheduling

• Robert E. Brundage, Alan P. Batson: Computational Processor Demands of Algol-60 Programs. 161-168 BibTeX
• K. Mani Chandy, P. F. Reynolds: Scheduling Partially Ordered Tasks with Probabilistic Execution Times. 169-177 BibTeX
• Shui Lam, Ravi Sethi: Analysis of a Level Algorithm for Preemptive Scheduling. 178-186 BibTeX
• Edward G. Coffman Jr., Isi Mitrani: Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands. 187-191 BibTeX

Security and Protection

• Steven B. Lipner: A Comment on the Confinement Problem. 192-196 BibTeX
• Anita K. Jones, Richard J. Lipton: The Enforcement of Security Policies for Computation. 197-206 BibTeX

Memory Measurement and Modeling

• Peter J. Denning, Kevin C. Kahn: A Study of Program Locality and Lifetime Functions. 207-216 BibTeX
• Ashok K. Agrawala, Raymond M. Bryant: Models of Memory Scheduling. 217-222 BibTeX