Selected Papers of the Seventh Symposium on Operating System Principles
SOSP, 1980.

@proceedings{SOSP-J-1979,
	journal       = "{Communications of the ACM}",
	number        = 2,
	publisher     = "{ACM}",
	title         = "{Selected Papers of the Seventh Symposium on Operating System Principles}",
	volume        = 23,
	year          = 1980,
}

Contents (5 items)

2 ×#named
2 ×#operating system

SOSP-J-1979-CanonFHHMR80 #evaluation #performance #virtual machine

A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.

SOSP-J-1979-RedellDHLLMMP80 #named #operating system

Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 81–92.

SOSP-J-1979-OusterhoutSS80 #distributed #empirical #named #operating system

Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 92–105.

SOSP-J-1979-LampsonR80 #experience #monitoring #process

Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 105–117.

SOSP-J-1979-WalkerKP80 #kernel #security #specification #verification

Specification and Verification of the UCLA Unix Security Kernel (BJW, RAK, GJP), pp. 118–131.