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)

2 ×#algorithm
2 ×#operating system

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.