Interactive machine language programming. - Butler W. Lampson (AFIPS Fall Joint Computing Conference (1), 1965)

A scheduling philosophy for multi-processing systems. - Butler W. Lampson (SOSP, 1967)

An online editor. - L. Peter Deutsch; Butler W. Lampson (Commun. ACM, 1967)

A scheduling philosophy for multiprocessing systems. - Butler W. Lampson (Commun. ACM, 1968)

Dynamic protection structures. - Butler W. Lampson (AFIPS Fall Joint Computing Conference, 1969)

A Note on the Confinement Problem. - Butler W. Lampson (Commun. ACM, 1973)

Redundancy and Robustness in Memory Protection. - Butler W. Lampson (IFIP Congress, 1974)

An open operating system for a single-user machine. - Butler W. Lampson (Symposium on Operating Systems, 1974)

On the transfer of control between contexts. - Butler W. Lampson; James G. Mitchell; E. H. Satterthwhaite (Symposium on Programming, 1974)

Protection. - Butler W. Lampson (ACM SIGOPS Oper. Syst. Rev., 1974)

Synchronization: Introduction by the session chairman. - Butler W. Lampson (SIGCOMM/SIGOPS Workshop on Interprocess Communications, 1975)

Reflections on an Operating System Design. - Butler W. Lampson; Howard E. Sturgis (Commun. ACM, 1976)

Notes on the Design of Euclid. - Gerald J. Popek; James J. Horning; Butler W. Lampson; James G. Mitchell; Ralph L. London (Language Design for Reliable Software, 1977)

A Terminal-Oriented Communication System. - Paul G. Heckel; Butler W. Lampson (Commun. ACM, 1977)

Report on the programming language Euclid. - Butler W. Lampson; James J. Horning; Ralph L. London; James G. Mitchell; Gerald J. Popek (ACM SIGPLAN Notices, 1977)

Proof Rules for the Programming Language Euclid. - Ralph L. London; John V. Guttag; James J. Horning; Butler W. Lampson; James G. Mitchell; Gerald J. Popek (Acta Informatica, 1978)

Experience with Processes and Monitors in Mesa (Summary). - Butler W. Lampson; David D. Redell (SOSP, 1979)

An Open Operating System for a Single-User Machine. - Butler W. Lampson; Robert F. Sproull (SOSP, 1979)

Applications and Protocols. - Stephen R. Kimbleton; Pearl Y. Wang; Butler W. Lampson (Advanced Course: Distributed Systems, 1980)

Atomic Transactions. - Butler W. Lampson (Advanced Course: Distributed Systems, 1980)

Ethernet, Pup and Violet. - Butler W. Lampson (Advanced Course: Distributed Systems, 1980)

A Processor for a High-Performance Personal Computer. - Butler W. Lampson; Kenneth A. Pier (ISCA, 1980)

Experience with Processes and Monitors in Mesa. - Butler W. Lampson; David D. Redell (Commun. ACM, 1980)

The Memory System of a High-Performance Personal Computer. - Douglas W. Clark; Butler W. Lampson; Kenneth A. Pier (IEEE Trans. Computers, 1981)

Fast Procedure Calls. - Butler W. Lampson (ASPLOS, 1982)

Practical Use of a Polymorphic Applicative Language. - Butler W. Lampson; Eric E. Schmidt (POPL, 1983)

Organizing software in a distributed environment. - Butler W. Lampson; Eric E. Schmidt (SIGPLAN, 1983)

A Kernel Language for Abstract Data Types and Modules. - Rod M. Burstall; Butler W. Lampson (Semantics of Data Types, 1984)

Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems. - Lawrence A. Rowe; L. Peter Deutsch; Stuart I. Feldman; Butler W. Lampson; Barbara Liskov; Terry Winograd (ACM SIGPLAN Notices, 1984)

Hints for Computer System Design. - Butler W. Lampson (IEEE Softw., 1984)

Gene McDaniel, Severo M. Ornstein: An Instruction Fetch Unit for a High-Performance Personal Conmputer. - Butler W. Lampson (IEEE Trans. Computers, 1984)

Designing a Global Name Service. - Butler W. Lampson (PODC, 1986)

Current work on authentication. - Andrew Birrell; Butler W. Lampson; Roger M. Needham; Michael D. Schroeder (ACM SIGOPS European Workshop, 1986)

A Global Authentication Service without Global Trust. - Andrew Birrell; Butler W. Lampson; Roger M. Needham; Michael D. Schroeder (S&P, 1986)

Personal distributed computing: the alto and ethernet software. - Butler W. Lampson (A History of Personal Workstations, 1988)

Pebble, a Kernel Language for Modules and Abstract Data Types - Butler W. Lampson; Rod M. Burstall (Inf. Comput., 1988)

Authentication and Delegation with Smart-cards. - Martín Abadi; Michael Burrows; C. Kaufman; Butler W. Lampson (TACS, 1991)

On-Line Data Compression in a Log-Structured File System. - Michael Burrows; Charles Jerian; Butler W. Lampson; Timothy P. Mann (ASPLOS, 1992)

At-Most-Once Message Delivery. A Case Study in Algorithm Verification. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (CONCUR, 1992)

Authentication in Distributed Systems: Theory and Practice. - Butler W. Lampson; Martín Abadi; Michael Burrows; Edward Wobber (ACM Trans. Comput. Syst., 1992)

Correctness of At-Most-Once Message Delivery Protocols. - Butler W. Lampson; Nancy A. Lynch; Jørgen F. Søgaard-Andersen (FORTE, 1993)

Authentication in the Taos Operating System. - Edward Wobber; Martín Abadi; Michael Burrows; Butler W. Lampson (SOSP, 1993)

A New Presumed Commit Optimization for Two Phase Commit. - Butler W. Lampson; David B. Lomet (VLDB, 1993)

Authentification and Delegation with Smart-Cards. - Martín Abadi; Michael Burrows; C. Kaufman; Butler W. Lampson (Sci. Comput. Program., 1993)

A Calculus for Access Control in Distributed Systems. - Martín Abadi; Michael Burrows; Butler W. Lampson; Gordon D. Plotkin (ACM Trans. Program. Lang. Syst., 1993)

Interconnecting Computers: Architecture, Technology, and Economics. - Butler W. Lampson (Programming Languages and System Architectures, 1994)

Analysis and Caching of Dependencies. - Martín Abadi; Butler W. Lampson; Jean-Jacques Lévy (ICFP, 1996)

How to Build a Highly Available System Using Consensus. - Butler W. Lampson (WDAG, 1996)

Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve. - David L. Tennenhouse; Butler W. Lampson; Sharon Eisner Gillett; Jennifer Steiner Klein (Comput. Networks ISDN Syst., 1996)

NSF workshop on a software research program for the 21st century. - Victor R. Basili; Laszlo A. Belady; Barry W. Boehm; Frederick P. Brooks Jr.; James Browne; Richard A. DeMillo; Stuart I. Feldman; Cordell Green; Butler W. Lampson; Duncan H. Lawrie; Nancy G. Leveson; Nancy A. Lynch; et al. (ACM SIGSOFT Softw. Eng. Notes, 1999)

IP lookups using multiway and multicolumn search. - Butler W. Lampson; Venkatachary Srinivasan; George Varghese (IEEE/ACM Trans. Netw., 1999)

SPKI Certificate Theory. - Carl M. Ellison; Bill Frantz; Butler W. Lampson; Ron Rivest; Brian Thomas; Tatu Ylönen (RFC, 1999)

Revisiting the PAXOS algorithm. - Roberto De Prisco; Butler W. Lampson; Nancy A. Lynch (Theor. Comput. Sci., 2000)

The ABCD's of Paxos. - Butler W. Lampson (PODC, 2001)

A Trusted Open Platform. - Paul England; Butler W. Lampson; John Manferdelli; Marcus Peinado; Bryan Willman (Computer, 2003)

Getting computers to understand. - Butler W. Lampson (J. ACM, 2003)

Computer Security in the Real World. - Butler W. Lampson (Computer, 2004)

Lazy and Speculative Execution in Computer Systems. - Butler W. Lampson (OPODIS, 2006)

Gold and Fool's Gold: Successes, Failures, and Futures in Computer Systems Research. - Butler W. Lampson (USENIX ATC, General Track, 2006)

Privacy and security - Usable security: how to get it. - Butler W. Lampson (Commun. ACM, 2009)

Making untrusted code useful: technical perspective. - Butler W. Lampson (Commun. ACM, 2011)

What Computers Do: Model, Connect and Engage. - Butler W. Lampson (ACM-TURING, 2012)

What Computers Do: Model, Connect, Engage. - Butler W. Lampson (TAMC, 2012)

Textual Features for Programming by Example - Aditya Krishna Menon; Omer Tamuz; Sumit Gulwani; Butler W. Lampson; Adam Tauman Kalai (CoRR, 2012)

A Machine Learning Framework for Programming by Example. - Aditya Krishna Menon; Omer Tamuz; Sumit Gulwani; Butler W. Lampson; Adam Kalai (ICML (1), 2013)

A colorful approach to text processing by example. - Kuat Yessenov; Shubham Tulsiani; Aditya Krishna Menon; Robert C. Miller; Sumit Gulwani; Butler W. Lampson; Adam Kalai (UIST, 2013)

Perspectives on protection and security. - Butler W. Lampson (SOSP History Day, 2015)

Verifying concurrent software using movers in CSPEC. - Tej Chajed; M. Frans Kaashoek; Butler W. Lampson; Nickolai Zeldovich (OSDI, 2018)

Hints and Principles for Computer System Design. - Butler W. Lampson (CoRR, 2020)

Programming Concurrent Systems. - Butler W. Lampson (Edsger Wybe Dijkstra, 2022)