| 1981 | A Comparison of Two Network-Based File Servers. James G. Mitchell, Jeremy Dion |
| 1981 | A Distributed UNIX System Based on a Virtual Circuit Switch. Gottfried W. R. Luderer, H. Che, J. P. Haggerty, Peter A. Kirslis, W. T. Marshall |
| 1981 | A NonStop Kernel. Joel F. Bartlett |
| 1981 | A Reliable Object-Oriented Data Repository for a Distributed Computer System. Liba Svobodova |
| 1981 | A Study of File Sizes and Functional Lifetimes. Mahadev Satyanarayanan |
| 1981 | A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment. George W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack |
| 1981 | Accent: A Communication Oriented Network Operating System Kernel. Richard F. Rashid, George G. Robertson |
| 1981 | BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems. Norman K. Meyrowitz, Margaret Moser |
| 1981 | Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. Özalp Babaoglu, William N. Joy |
| 1981 | Cryptographic Sealing for Information Secrecy and Authentication (Summary). David K. Gifford |
| 1981 | Design and Verification of Secure Systems. John M. Rushby |
| 1981 | Gravevine: An Exercise in Distributed Computing (summary). Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder |
| 1981 | Hierarchical Take-Grant Protection Systems. Matt Bishop |
| 1981 | LOCUS - A Network Transparent, High Reliability Distributed System. Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Charles S. Kline, Gerard Rudisin, Greg Thiel |
| 1981 | Observations on the Development of an Operating System. Hugh C. Lauer |
| 1981 | Performing Remore Operations Efficiently on a Local Computer Network (Summary). Alfred Z. Spector |
| 1981 | Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981 John Howard, David P. Reed |
| 1981 | Proving Real-Time Properties of Programs with Temporal Logic. Arthur J. Bernstein, Paul K. Harter Jr. |
| 1981 | Sequencing Computation Steps in a Network. A. J. Herbert, Roger M. Needham |
| 1981 | The Architecture of the Eden System. Edward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal |
| 1981 | The Felix File System. Marek Fridrich, William J. Older |
| 1981 | The iMAX-432 Object Filing System. Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson |
| 1981 | WSClock - A Simple and Effective Algorithm for Virtual Memory Management. Richard W. Carr, John L. Hennessy |
| 1981 | iMAX: A Multiprocessor Operating System for an Object-Based Computer. Kevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D'Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack |