| 2018 | OSDI | Verifying concurrent software using movers in CSPEC. | Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich |
| 2015 | SOSP | Perspectives on protection and security. | Butler W. Lampson |
| 2013 | ICML | A Machine Learning Framework for Programming by Example. | Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai |
| 2013 | UIST | 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 |
| 2012 | TAMC | What Computers Do: Model, Connect, Engage. | Butler W. Lampson |
| 2008 | ICFP | Lazy and speculative execution in computer systems. | Butler W. Lampson |
| 2006 | OPODIS | Lazy and Speculative Execution in Computer Systems. | Butler W. Lampson |
| 2006 | USENIX | Gold and Fool's Gold: Successes, Failures, and Futures in Computer Systems Research. | Butler W. Lampson |
| 2001 | PODC | The ABCD's of Paxos. | Butler W. Lampson |
| 1998 | INFOCOM | IP Lookups Using Multiway and Multicolumn Search. | Butler W. Lampson, Venkatachary Srinivasan, George Varghese |
| 1998 | ISCA | A Processor for a High-Performance Personal Computer. | Butler W. Lampson, Kenneth A. Pier |
| 1996 | ICFP | Analysis and Caching of Dependencies. | Martn Abadi, Butler W. Lampson, Jean-Jacques Lvy |
| 1993 | FORTE | Correctness of At-Most-Once Message Delivery Protocols. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1993 | VLDB | A New Presumed Commit Optimization for Two Phase Commit. | Butler W. Lampson, David B. Lomet |
| 1993 | SOSP | Authentication in the Taos Operating System. | Edward Wobber, Martn Abadi, Michael Burrows, Butler W. Lampson |
| 1992 | ASPLOS | On-Line Data Compression in a Log-Structured File System. | Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann |
| 1992 | CONCUR | At-Most-Once Message Delivery. A Case Study in Algorithm Verification. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1991 | CRYPTO | A Calculus for Access Control in Distributed Systems. | Martn Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin |
| 1991 | SOSP | Authentication in Distributed Systems: Theory and Practice. | Butler W. Lampson, Martn Abadi, Michael Burrows, Edward Wobber |
| 1986 | PODC | Designing a Global Name Service. | Butler W. Lampson |
| 1986 | SP | A Global Authentication Service without Global Trust. | Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder |
| 1983 | POPL | Practical Use of a Polymorphic Applicative Language. | Butler W. Lampson, Eric E. Schmidt |
| 1983 | SOSP | Hints for Computer System Design. | Butler W. Lampson |
| 1982 | ASPLOS | Fast Procedure Calls. | Butler W. Lampson |
| 1980 | ISCA | A Processor for a High-Performance Personal Computer. | Butler W. Lampson, Kenneth A. Pier |
| 1979 | SOSP | Experience with Processes and Monitors in Mesa (Summary). | Butler W. Lampson, David D. Redell |
| 1979 | SOSP | An Open Operating System for a Single-User Machine. | Butler W. Lampson, Robert F. Sproull |
| 1967 | SOSP | A scheduling philosophy for multi-processing systems. | Butler W. Lampson |