9. SOSP 1983: Bretton Woods, New Hampshire

Proceedings of the Ninth ACM Symposium on Operating System Principles, 10-13 October 1983, Bretton Woods, New Hampshire, Operating System Review 17(5), ACM, New York, ISBN 0-89791-115-6

Communication

Bruce G. Lindsay, Laura M. Haas, C. Mohan, Paul F. Wilms, Robert A. Yost: Computation & Communication in R*: A Distributed Database Manager (Extended Abstract). 1-2 BibTeX , long version: ACM Trans. Comput. Syst. 2(1): 24-38(1984) BibTeX
Andrew Birrell, Bruce Jay Nelson: Implementing Remote Procedure Calls (Abstract). 3 BibTeX , long version: ACM Trans. Comput. Syst. 2(1): 39-59(1984) BibTeX
Andrew P. Black: An Asymmetric Stream Communication System. 4-10 BibTeX

Resource Management

Daniel H. Craft: Resource Management In A Decentralized System. 11-19 BibTeX
Loretta Guarino Reid, Philip L. Karlton: A File System Supporting Cooperation between Programs. 20-19 BibTeX
C. J. Stephenson: Fast Fits. 30-32 BibTeX

Special Session

Butler W. Lampson: Hints for Computer System Design. 33-48 BibTeX

Locus

Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel: The LOCUS Distributed Operating System. 49-70 BibTeX
Erik T. Mueller, Johanna D. Moore, Gerald J. Popek: A Nested Transaction Mechanism for LOCUS. 71-89 BibTeX

Recovery and Reconfiguration

Anita Borg, Jim Baumbach, Sam Glazer: A Message System Supporting Fault Tolerance. 90-99 BibTeX
Michael L. Powell, David L. Presotto: PUBLISHING: A Reliable Broadcast Communication Mechanism. 100-109 BibTeX
David L. Presotto, Barton P. Miller: Process Migration in DEMOS/MP. 110-119 BibTeX

Distributed File Access

M. F. Richardson, Roger M. Needham: The TRIPOS Filing Machine, a Front End to a File Server. 120-128 BibTeX
David R. Cheriton, Willy Zwaenepoel: The Distributed V Kernel and its Performance for Diskless Workstations. 129-140 BibTeX

Experience

Michael D. Schroeder, Andrew Birrell, Roger M. Needham: Experience with Grapevine: The Growth of a Distributed System (Summary). 141-142 BibTeX , long version: ACM Trans. Comput. Syst. 2(1): 3-23(1984) BibTeX
Jonathan M. Silverman: Reflections on the Verification of the Security of an Operating System Kernel. 143-154 BibTeX