| 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 | Observations on the Development of an Operating System. | Hugh C. Lauer |
| 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 |
| 1981 | Sequencing Computation Steps in a Network. | A. J. Herbert, Roger M. Needham |
| 1981 | Cryptographic Sealing for Information Secrecy and Authentication (Summary). | David K. Gifford |
| 1981 | The Felix File System. | Marek Fridrich, William J. Older |
| 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 | WSClock - A Simple and Effective Algorithm for Virtual Memory Management. | Richard W. Carr, John L. Hennessy |
| 1981 | Hierarchical Take-Grant Protection Systems. | Matt Bishop |
| 1981 | Gravevine: An Exercise in Distributed Computing (summary). | Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder |
| 1981 | Proving Real-Time Properties of Programs with Temporal Logic. | Arthur J. Bernstein, Paul K. Harter Jr. |
| 1981 | A NonStop Kernel. | Joel F. Bartlett |
| 1981 | Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. | zalp Babaoglu, William N. Joy |
| 1979 | Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). | Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek |
| 1979 | WFS: A Simple Shared File System for a Distributed Environment. | Daniel C. Swinehart, Gene McDaniel, David R. Boggs |
| 1979 | The ROSCOE Distributed Operating System. | Marvin H. Solomon, Raphael A. Finkel |
| 1979 | A Mechanism for Information Control in Parallel Systems. | Richard P. Reitman |
| 1979 | Implementing Atomic Actions on Decentralized Data. | David P. Reed |
| 1979 | Pilot: An Operating System for a Personal Computer (Summary). | David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell |
| 1979 | A Client-Based Transaction System to Maintain Data Integrity. | William H. Paxton |
| 1979 | Medusa: An Experiment in Distributed Operating System Structure (Summary). | John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu |
| 1979 | Systems Aspects of the Cambridge Ring. | Roger M. Needham |
| 1979 | Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data. | Warren A. Montgomery |
| 1979 | Primitives for Distributed Computing. | Barbara H. Liskov |
| 1979 | Virtual Terminal Management in a Multiple Process Environment. | Keith A. Lantz, Richard F. Rashid |