Butler W. Lampson

According to our database, Butler W. Lampson authored at least 70 papers between 1965 and 2022.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2022

Programming Concurrent Systems.

Butler W. Lampson

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2020

Hints and Principles for Computer System Design.

Butler W. Lampson

CoRR, 2020

2018

Verifying concurrent software using movers in CSPEC.

Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2015

Perspectives on protection and security.

Butler W. Lampson

Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015

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

Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

A Machine Learning Framework for Programming by Example.

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai

Proceedings of the 30th International Conference on Machine Learning, 2013

2012

Textual Features for Programming by Example

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai

CoRR, 2012

What Computers Do: Model, Connect, Engage.

Butler W. Lampson

Proceedings of the Theory and Applications of Models of Computation, 2012

What Computers Do: Model, Connect and Engage.

Butler W. Lampson

Proceedings of the ACM Turing Centenary Celebration, 2012

2011

Making untrusted code useful: technical perspective.

Butler W. Lampson

Commun. ACM, 2011

2009

Privacy and security - Usable security: how to get it.

Butler W. Lampson

Commun. ACM, 2009

2008

Lazy and speculative execution in computer systems.

Butler W. Lampson

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.

Butler W. Lampson

Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30, 2006

2004

Computer Security in the Real World.

Butler W. Lampson

Computer, 2004

2003

Getting computers to understand.

Butler W. Lampson

J. ACM, 2003

A Trusted Open Platform.

Paul England, Butler W. Lampson, John Manferdelli, Marcus Peinado, Bryan Willman

Computer, 2003

2001

The ABCD's of Paxos.

Butler W. Lampson

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000

Revisiting the PAXOS algorithm.

Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch

Theor. Comput. Sci., 2000

1999

SPKI Certificate Theory.

Carl M. Ellison, Bill Frantz, Butler W. Lampson, Ron Rivest, Brian Thomas, Tatu Ylönen

RFC, September, 1999

IP lookups using multiway and multicolumn search.

Butler W. Lampson, Venkatachary Srinivasan, George Varghese

IEEE/ACM Trans. Netw., 1999

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, Mark D. Weiser, Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1999

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

How to Build a Highly Available System Using Consensus.

Butler W. Lampson

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

Analysis and Caching of Dependencies.

Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1994

Interconnecting Computers: Architecture, Technology, and Economics.

Butler W. Lampson

Proceedings of the Programming Languages and System Architectures, 1994

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

Authentification and Delegation with Smart-Cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Sci. Comput. Program., 1993

A New Presumed Commit Optimization for Two Phase Commit.

Butler W. Lampson, David B. Lomet

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Authentication in the Taos Operating System.

Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Correctness of At-Most-Once Message Delivery Protocols.

Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen

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.

Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber

ACM Trans. Comput. Syst., 1992

At-Most-Once Message Delivery. A Case Study in Algorithm Verification.

Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen

Proceedings of the CONCUR '92, 1992

On-Line Data Compression in a Log-Structured File System.

Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann

Proceedings of the ASPLOS-V Proceedings, 1992

1991

Authentication and Delegation with Smart-cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Proceedings of the Theoretical Aspects of Computer Software, 1991

1988

Pebble, a Kernel Language for Modules and Abstract Data Types

Butler W. Lampson, Rod M. Burstall

Inf. Comput., 1988

Personal distributed computing: the alto and ethernet software.

Butler W. Lampson

Proceedings of the A History of Personal Workstations, 1988

1986

A Global Authentication Service without Global Trust.

Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Current work on authentication.

Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

Designing a Global Name Service.

Butler W. Lampson

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.

Butler W. Lampson

IEEE Trans. Computers, 1984

Hints for Computer System Design.

Butler W. Lampson

IEEE Softw., 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

A Kernel Language for Abstract Data Types and Modules.

Rod M. Burstall, Butler W. Lampson

Proceedings of the Semantics of Data Types, International Symposium, 1984

1983

Organizing software in a distributed environment.

Butler W. Lampson, Eric E. Schmidt

Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

Practical Use of a Polymorphic Applicative Language.

Butler W. Lampson, Eric E. Schmidt

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982

Fast Procedure Calls.

Butler W. Lampson

Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

1981

The Memory System of a High-Performance Personal Computer.

Douglas W. Clark, Butler W. Lampson, Kenneth A. Pier

IEEE Trans. Computers, 1981

1980

Experience with Processes and Monitors in Mesa.

Butler W. Lampson, David D. Redell

Commun. ACM, 1980

A Processor for a High-Performance Personal Computer.

Butler W. Lampson, Kenneth A. Pier

Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

Ethernet, Pup and Violet.

Butler W. Lampson

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Atomic Transactions.

Butler W. Lampson

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

Applications and Protocols.

Stephen R. Kimbleton, Pearl Y. Wang, Butler W. Lampson

Proceedings of the Distributed Systems - Architecture and Implementation, 1980

1979

An Open Operating System for a Single-User Machine.

Butler W. Lampson, Robert F. Sproull

Proceedings of the Seventh Symposium on Operating System Principles, 1979

Experience with Processes and Monitors in Mesa (Summary).

Butler W. Lampson, David D. Redell

Proceedings of the Seventh Symposium on Operating System Principles, 1979

1978

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

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

A Terminal-Oriented Communication System.

Paul G. Heckel, Butler W. Lampson

Commun. ACM, 1977

Notes on the Design of Euclid.

Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London

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

1976

Reflections on an Operating System Design.

Butler W. Lampson, Howard E. Sturgis

Commun. ACM, 1976

1975

Synchronization: Introduction by the session chairman.

Butler W. Lampson

Proceedings of the 1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess Communications, USA, 1975

1974

Protection.

Butler W. Lampson

ACM SIGOPS Oper. Syst. Rev., 1974

On the transfer of control between contexts.

Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite

Proceedings of the Programming Symposium, 1974

An open operating system for a single-user machine.

Butler W. Lampson

Proceedings of the Operating Systems, 1974

Redundancy and Robustness in Memory Protection.

Butler W. Lampson

Proceedings of the Information Processing, 1974

1973

A Note on the Confinement Problem.

Butler W. Lampson

Commun. ACM, 1973

1969

Dynamic protection structures.

Butler W. Lampson

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.

Butler W. Lampson

Commun. ACM, 1968

1967

An online editor.

L. Peter Deutsch, Butler W. Lampson

Commun. ACM, 1967

A scheduling philosophy for multi-processing systems.

Butler W. Lampson

Proceedings of the First Symposium on Operating Systems Principles, 1967

1965

Interactive machine language programming.

Butler W. Lampson

Proceedings of the 1965 fall joint computer conference, part I, 1965