John Howard, David P. Reed
Proceedings of the Eighth Symposium on Operating System Principles
SOSP, 1981.

@proceedings{SOSP-1981,
	address       = "Pacific Grove, California, USA",
	doi           = "10.1145/800216",
	editor        = "John Howard and David P. Reed",
	isbn          = "0-89791-062-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth Symposium on Operating System Principles}",
	volume        = "Operating System Review 15(5)",
	year          = 1981,
}

Contents (23 items)

6 ×#named
4 ×#distributed
4 ×#network
3 ×#operating system
3 ×#summary
2 ×#architecture
2 ×#communication
2 ×#design
2 ×#kernel
2 ×#multi

SOSP-1981-BernsteinH #logic #proving #realtime #source code

Proving Real-Time Properties of Programs with Temporal Logic (AJB, PKHJ), pp. 1–11.

SOSP-1981-Rushby #design #verification

Design and Verification of Secure Systems (JMR), pp. 12–21.

SOSP-1981-Bartlett #kernel

A NonStop Kernel (JFB), pp. 22–19.

SOSP-1981-Lauer #development #operating system

Observations on the Development of an Operating System (HCL), pp. 30–36.

SOSP-1981-FridrichO #file system

The Felix File System (MF, WJO), pp. 37–44.

SOSP-1981-MitchellD #comparison

A Comparison of Two Network-Based File Servers (JGM, JD), pp. 45–46.

SOSP-1981-Svobodova #distributed #object-oriented #reliability #repository

A Reliable Object-Oriented Data Repository for a Distributed Computer System (LS), pp. 47–58.

SOSP-1981-HerbertN #network

Sequencing Computation Steps in a Network (AJH, RMN), pp. 59–63.

SOSP-1981-RashidR #communication #kernel #named #network #operating system

Accent: A Communication Oriented Network Operating System Kernel (RFR, GGR), pp. 64–75.

SOSP-1981-Spector #network

Performing Remore Operations Efficiently on a Local Computer Network (AZS), pp. 76–77.

SOSP-1981-BabaogluJ #architecture

Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits (ÖB, WNJ), pp. 78–86.

SOSP-1981-CarrH #algorithm #effectiveness #memory management #named

WSClock — A Simple and Effective Algorithm for Virtual Memory Management (RWC, JLH), pp. 87–95.

SOSP-1981-Satyanarayanan #case study #functional

A Study of File Sizes and Functional Lifetimes (MS), pp. 96–108.

SOSP-1981-Bishop

Hierarchical Take-Grant Protection Systems (MB), pp. 109–122.

SOSP-1981-Gifford #authentication #encryption

Cryptographic Sealing for Information Secrecy and Authentication (DKG), pp. 123–124.

SOSP-1981-CoxCLP #communication #implementation #multi

A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment (GWC, WMC, KKL, FJP), pp. 125–126.

SOSP-1981-KahnCDDHHMP #multi #named #operating system

iMAX: A Multiprocessor Operating System for an Object-Based Computer (KCK, WMC, TDD, HD, DEH, LAH, JTM, FJP), pp. 127–136.

SOSP-1981-PollackKW

The iMAX-432 Object Filing System (FJP, KCK, RMW), pp. 137–147.

SOSP-1981-LazowskaLAFFV #architecture

The Architecture of the Eden System (EDL, HML, GTA, MJF, RJF, SCV), pp. 148–159.

SOSP-1981-LudererCHKM #distributed

A Distributed UNIX System Based on a Virtual Circuit Switch (GWRL, HC, JPH, PAK, WTM), pp. 160–168.

SOSP-1981-PopekWCERT #distributed #named #network #reliability

LOCUS — A Network Transparent, High Reliability Distributed System (GJP, BJW, JMC, DAE, CSK, GR, GT), pp. 169–177.

SOSP-1981-BirrellLNS #distributed #named

Gravevine: An Exercise in Distributed Computing (AB, RL, RMN, MDS), pp. 178–179.

SOSP-1981-MeyrowitzM #adaptation #design #named

BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems (NKM, MM), pp. 180–189.