Butler W. Lampson

According to our database1, Butler W. Lampson
  • authored at least 70 papers between 1967 and 2015.
  • has a "Dijkstra number"2 of three.

Awards

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.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2013
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

2012
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

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

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

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

2006
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

Lazy and Speculative Execution in Computer Systems.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

2004
Computer Security in the Real World.
IEEE Computer, 2004

2003
Getting computers to understand.
J. ACM, 2003

A Trusted Open Platform.
IEEE Computer, 2003

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

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

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 Software Engineering Notes, 1999

1998
A Processor for a High-Performance Personal Computer.
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998

IP Lookups Using Multiway and Multicolumn Search.
Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1997
Revisiting the Paxos Algorithm.
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996
Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve.
Computer Networks and ISDN Systems, 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 (ICFP '96), 1996

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

1993
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

1992
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

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

Authentication in Distributed Systems: Theory and Practice.
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

A Calculus for Access Control in Distributed Systems.
Proceedings of the Advances in Cryptology, 1991

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

1986
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

1984
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 Software, 1984

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

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

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

Hints for Computer System Design.
Proceedings of the Ninth ACM Symposium on Operating System Principles, 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

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

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

1980
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, May 1980, 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

1979
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

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

Proof Rules for the Programming Language Euclid.
Proceedings of the Program Construction, International Summer School, July 26, 1978

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

Notes on the Design of Euclid.
Language Design for Reliable Software, 1977

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

1975
Synchronization: Introduction by the session chairman.
Operating Systems Review, 1975

1974
Protection.
Operating Systems Review, 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.
IFIP Congress, 1974

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

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

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

1967
An online editor.
Commun. ACM, 1967


  Loading...