*Selected Papers of the Fifth Symposium on Operating System Principles*

SOSP, 1976.

@proceedings{SOSP-J-1975,
journal = "{Communications of the ACM}",
number = 5,
publisher = "{ACM}",
title = "{Selected Papers of the Fifth Symposium on Operating System Principles}",
volume = 19,
year = 1976,
}

### Contents (9 items)

- SOSP-J-1975-Denning76 #data flow
- A Lattice Model of Secure Information Flow (DED), pp. 236–243.
- SOSP-J-1975-Millen76 #kernel #security #validation
- Security Kernel Validation in Practice (JKM), pp. 243–250.
- SOSP-J-1975-LampsonS76 #design #operating system
- Reflections on an Operating System Design (BWL, HES), pp. 251–265.
- SOSP-J-1975-HabermannFC76 #composition #operating system #product line
- Modularization and Hierarchy in a Family of Operating Systems (ANH, LF, LWC), pp. 266–272.
- SOSP-J-1975-Howard76 #monitoring #proving
- Proving Monitors (JHH), pp. 273–279.
- SOSP-J-1975-OwickiG76 #approach #axiom #parallel #source code #verification
- Verifying Properties of Parallel Programs: An Axiomatic Approach (SSO, DG), pp. 279–285.
- SOSP-J-1975-MadisonB76
- Characteristics of Program Localities (AWM, APB), pp. 285–294.
- SOSP-J-1975-PrieveF76 #algorithm #named
- VMIN — An Optimal Variable-Space Page Replacement Algorithm (BGP, RSF), pp. 295–297.
- SOSP-J-1975-ChuO76 #algorithm #analysis #markov
- Analysis of the PFF Replacement Algorithm via a Semi-Markov Model (WWC, HO), pp. 298–304.