Proceedings of the Eighth Symposium on Operating System Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.