8. SOSP 1981: Pacific Grove, California

Proceedings of the Eighth Symposium on Operating System Principles, 14-16 December 1981, Asilomar Conference Grounds, Pacific Grove, California, Operating System Review 15(5), ACM, New York, ISBN 0-89791-062-1

Verifying Systems Properties

Arthur J. Bernstein, Paul K. Harter Jr.: Proving Real-Time Properties of Programs with Temporal Logic. 1-11 BibTeX
John M. Rushby: Design and Verification of Secure Systems. 12-21 BibTeX

Systems

Joel F. Bartlett: A NonStop Kernel. 22-19 BibTeX
Hugh C. Lauer: Observations on the Development of an Operating System. 30-36 BibTeX

Remote Data Storage

M. Fridrich, William J. Older: The Felix File System. 37-44 BibTeX
James G. Mitchell, Jeremy Dion: A Comparison of Two Network-Based File Servers. 45-46 BibTeX
Liba Svobodova: A Reliable Object-Oriented Data Repository for a Distributed Computer System. 47-58 BibTeX

Computer-Computer Communication

A. J. Herbert, Roger M. Needham: Sequencing Computation Steps in a Network. 59-63 BibTeX
Richard F. Rashid, George G. Robertson: Accent: A Communication Oriented Network Operating System Kernel. 64-75 BibTeX
Alfred Z. Spector: Performing Remore Operations Efficiently on a Local Computer Network (Summary). 76-77 BibTeX

Memory Management

Özalp Babaoglu, William N. Joy: Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. 78-86 BibTeX
Richard W. Carr, John L. Hennessy: WSClock - A Simple and Effective Algorithm for Virtual Memory Management. 87-95 BibTeX
Mahadev Satyanarayanan: A Study of File Sizes and Functional Lifetimes. 96-108 BibTeX

Protection Techniques

Matt Bishop: Hierarchical Take-Grant Protection Systems. 109-122 BibTeX
David K. Gifford: Cryptographic Sealing for Information Secrecy and Authentication (Summary). 123-124 BibTeX

The iMAX-432 Operating System

George W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack: A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment. 125-126 BibTeX
Kevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D'Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack: iMAX: A Multiprocessor Operating System for an Object-Based Computer. 127-136 BibTeX
Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson: The iMAX-432 Object Filing System. 137-147 BibTeX

Distributed Systems

Edward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal: The Architecture of the Eden System. 148-159 BibTeX
Gottfried W. R. Luderer, H. Che, J. P. Haggerty, Peter A. Kirslis, W. T. Marshall: A Distributed UNIX System Based on a Virtual Circuit Switch. 160-168 BibTeX
Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel: LOCUS - A Network Transparent, High Reliability Distributed System. 169-177 BibTeX

User-Oriented Systems

Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder: Gravevine: An Exercise in Distributed Computing (summary). 178-179 BibTeX
Norman K. Meyrowitz, Margaret Moser: BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems. 180-189 BibTeX