Butler W. Lampson

  • Microsoft Research

According to our database1, Butler W. Lampson authored at least 68 papers between 1965 and 2020.

Collaborative distances:


Turing Prize recipient

Turing Prize 1992, "For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, computer network|networks, operating systems, programming systems, computer display|displays, computer security|security and word processor|document publishing.".

ACM Fellow

ACM Fellow 1994, "For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security, and document publishing.".



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Hints and Principles for Computer System Design.
CoRR, 2020

Verifying concurrent software using movers in CSPEC.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Perspectives on protection and security.
Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015

A colorful approach to text processing by example.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

A Machine Learning Framework for Programming by Example.
Proceedings of the 30th International Conference on Machine Learning, 2013

Textual Features for Programming by Example
CoRR, 2012

What Computers Do: Model, Connect, Engage.
Proceedings of the Theory and Applications of Models of Computation, 2012

What Computers Do: Model, Connect and Engage.
Proceedings of the ACM Turing Centenary Celebration, 2012

Making untrusted code useful: technical perspective.
Commun. ACM, 2011

Privacy and security - Usable security: how to get it.
Commun. ACM, 2009

Lazy and speculative execution in computer systems.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Gold and Fool's Gold: Successes, Failures, and Futures in Computer Systems Research.
Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30, 2006

Computer Security in the Real World.
Computer, 2004

Getting computers to understand.
J. ACM, 2003

A Trusted Open Platform.
Computer, 2003

The ABCD's of Paxos.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Revisiting the PAXOS algorithm.
Theor. Comput. Sci., 2000

SPKI Certificate Theory.
RFC, September, 1999

IP lookups using multiway and multicolumn search.
IEEE/ACM Trans. Netw., 1999

NSF workshop on a software research program for the 21st century.
ACM SIGSOFT Softw. Eng. Notes, 1999

Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve.
Comput. Networks ISDN Syst., 1996

How to Build a Highly Available System Using Consensus.
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

Analysis and Caching of Dependencies.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Interconnecting Computers: Architecture, Technology, and Economics.
Proceedings of the Programming Languages and System Architectures, 1994

A Calculus for Access Control in Distributed Systems.
ACM Trans. Program. Lang. Syst., 1993

Authentification and Delegation with Smart-Cards.
Sci. Comput. Program., 1993

A New Presumed Commit Optimization for Two Phase Commit.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Authentication in the Taos Operating System.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Correctness of At-Most-Once Message Delivery Protocols.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

Authentication in Distributed Systems: Theory and Practice.
ACM Trans. Comput. Syst., 1992

At-Most-Once Message Delivery. A Case Study in Algorithm Verification.
Proceedings of the CONCUR '92, 1992

On-Line Data Compression in a Log-Structured File System.
Proceedings of the ASPLOS-V Proceedings, 1992

Authentication and Delegation with Smart-cards.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Pebble, a Kernel Language for Modules and Abstract Data Types
Inf. Comput., 1988

Personal distributed computing: the alto and ethernet software.
Proceedings of the A History of Personal Workstations, 1988

A Global Authentication Service without Global Trust.
Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Current work on authentication.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Designing a Global Name Service.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

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

Hints for Computer System Design.
IEEE Softw., 1984

Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systems.
ACM SIGPLAN Notices, 1984

A Kernel Language for Abstract Data Types and Modules.
Proceedings of the Semantics of Data Types, International Symposium, 1984

Organizing software in a distributed environment.
ACM SIGPLAN Notices, 1983

Practical Use of a Polymorphic Applicative Language.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Fast Procedure Calls.
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

The Memory System of a High-Performance Personal Computer.
IEEE Trans. Computers, 1981

Experience with Processes and Monitors in Mesa.
Commun. ACM, 1980

A Processor for a High-Performance Personal Computer.
Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

Ethernet, Pup and Violet.
Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Atomic Transactions.
Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Applications and Protocols.
Proceedings of the Distributed Systems - Architecture and Implementation, 1980

An Open Operating System for a Single-User Machine.
Proceedings of the Seventh Symposium on Operating System Principles, 1979

Experience with Processes and Monitors in Mesa (Summary).
Proceedings of the Seventh Symposium on Operating System Principles, 1979

Proof Rules for the Programming Language Euclid.
Acta Informatica, 1978

Report on the programming language Euclid.
ACM SIGPLAN Notices, 1977

A Terminal-Oriented Communication System.
Commun. ACM, 1977

Notes on the Design of Euclid.
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

Reflections on an Operating System Design.
Commun. ACM, 1976

Synchronization: Introduction by the session chairman.
ACM SIGOPS Oper. Syst. Rev., 1975

ACM SIGOPS Oper. Syst. Rev., 1974

On the transfer of control between contexts.
Proceedings of the Programming Symposium, 1974

An open operating system for a single-user machine.
Proceedings of the Operating Systems, 1974

Redundancy and Robustness in Memory Protection.
Proceedings of the Information Processing, 1974

A Note on the Confinement Problem.
Commun. ACM, 1973

Dynamic protection structures.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '69 Fall Joint Computer Conference, 1969

A scheduling philosophy for multiprocessing systems.
Commun. ACM, 1968

An online editor.
Commun. ACM, 1967

Interactive machine language programming.
Proceedings of the 1965 fall joint computer conference, part I, 1965