Jerome H. Saltzer, Roy Levin, David D. Redell
Proceedings of the Ninth ACM Symposium on Operating System Principles
SOSP, 1983.

@proceedings{SOSP-1983,
	address       = "Bretton Woods, New Hampshire, USA",
	doi           = "10.1145/800217",
	editor        = "Jerome H. Saltzer and Roy Levin and David D. Redell",
	isbn          = "0-89791-115-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth ACM Symposium on Operating System Principles}",
	volume        = "Operating System Review 17(5)",
	year          = 1983,
}

Contents (16 items)

5 ×#distributed
3 ×#communication
2 ×#kernel
2 ×#operating system
2 ×#performance

SOSP-1983-LindsayHMWY #communication #database #distributed

Computation & Communication in R*: A Distributed Database Manager (BGL, LMH, CM, PFW, RAY), pp. 1–2.

SOSP-1983-BirrellN #implementation

Implementing Remote Procedure Calls (AB, BJN), p. 3.

SOSP-1983-Black #communication #symmetry

An Asymmetric Stream Communication System (APB), pp. 4–10.

SOSP-1983-Craft #distributed #resource management

Resource Management In A Decentralized System (DHC), pp. 11–19.

SOSP-1983-ReidK #file system #source code

A File System Supporting Cooperation between Programs (LGR, PLK), pp. 20–19.

SOSP-1983-Stephenson #performance

Fast Fits (CJS), pp. 30–32.

SOSP-1983-Lampson #design

Hints for Computer System Design (BWL), pp. 33–48.

SOSP-1983-WalkerPEKT #distributed #operating system

The LOCUS Distributed Operating System (BJW, GJP, RE, CSK, GT), pp. 49–70.

SOSP-1983-MuellerMP #transaction

A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.

SOSP-1983-BorgBG #fault tolerance

A Message System Supporting Fault Tolerance (AB, JB, SG), pp. 90–99.

SOSP-1983-PowellP #communication #named #reliability

PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.

SOSP-1983-PresottoM #migration #process

Process Migration in DEMOS/MP (MLP, BPM), pp. 110–119.

SOSP-1983-RichardsonN

The TRIPOS Filing Machine, a Front End to a File Server (MFR, RMN), pp. 120–128.

SOSP-1983-CheritonZ #distributed #kernel #performance

The Distributed V Kernel and its Performance for Diskless Workstations (DRC, WZ), pp. 129–140.

SOSP-1983-SchroederBN #distributed #experience

Experience with Grapevine: The Growth of a Distributed System (MDS, AB, RMN), pp. 141–142.

SOSP-1983-Silverman #kernel #operating system #security #verification

Reflections on the Verification of the Security of an Operating System Kernel (JMS), pp. 143–154.