| 1979 | An Open Operating System for a Single-User Machine. | Butler W. Lampson, Robert F. Sproull |
| 1979 | Experience with Processes and Monitors in Mesa (Summary). | Butler W. Lampson, David D. Redell |
| 1979 | Modelling and Analysis of Distributed Software Systems. | B. Kumar, Timothy A. Gonsalves |
| 1979 | StarOS, a Multiprocessor Operating System for the Support of Task Forces. | Anita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl |
| 1979 | Weighted Voting for Replicated Data. | David K. Gifford |
| 1979 | Variable-Length Capabilities as a Solution to the Small-Object Problem. | Edward F. Gehringer |
| 1979 | In Support of Domain Structure for Operating Systems. | Douglas Cook |
| 1979 | A Virtual Machine Emulator for Performance Evaluation (Summary). | M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel |
| 1979 | Evaluating Synchronization Mechanisms. | Toby Bloom |
| 1979 | The Transfer of Information and Authority in a Protection System. | Matt Bishop, Lawrence Snyder |
| 1979 | The Behavior of Ethernet-Like Computer Communication Networks. | Guy T. Almes, Edward D. Lazowska |
| 1977 | On the Synthesis and Analysis of Protection Systems. | Lawrence Snyder |
| 1977 | The Multics Kernel Design Project. | Michael D. Schroeder, David D. Clark, Jerome H. Saltzer |
| 1977 | Process Backup in Producer-Consumer Systems. | David L. Russell |
| 1977 | Synchronization with Eventcounts and Sequencers (Extended Abstract). | David P. Reed, Rajendra K. Kanodia |
| 1977 | The DEMOS File System. | Michael L. Powell |
| 1977 | Analysis of Demand Paging Policies with Swapped Working Sets. | Dominique Potier |
| 1977 | The Cambridge CAP Computer and its Protection System. | Roger M. Needham, R. D. H. Walker |
| 1977 | The Cap Filing System. | Roger M. Needham, Andrew Birrell |
| 1977 | The CAP Project - An Interim Evaluation. | Roger M. Needham |
| 1977 | Measurements of Sharing in Multics. | Warren A. Montgomery |
| 1977 | METRIC: A Kernel Instrumentation System for Distributed Environments. | Gene McDaniel |
| 1977 | Effect of Program Localities on Memory Management Strategies. | Takashi Masuda |
| 1977 | Beyond Concurrent Pascal. | Klaus-Peter Lhr |
| 1977 | Proving Multilevel Security of a System Design. | Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |