Butler W. Lampson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 77 from 77

2022

Programming Concurrent SystemsButler W. Lampson. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 27-46, ACM / Morgan & Claypool, 2022. [doi]

2018

Verifying concurrent software using movers in CSPECTej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich. osdi 2018: 306-322 [doi]

2015

Perspectives on protection and securityButler W. Lampson. sosp 2015: [doi]

2013

A Machine Learning Framework for Programming by ExampleAditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai. icml 2013: 187-195 [doi]

A colorful approach to text processing by exampleKuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai. uist 2013: 495-504 [doi]

2012

What Computers Do: Model, Connect, EngageButler W. Lampson. tamc 2012: 23-26 [doi]

What Computers Do: Model, Connect and EngageButler W. Lampson. acm 2012: [doi]

2011

Making untrusted code useful: technical perspectiveButler W. Lampson. CACM, 54(11):92, 2011. [doi]

2009

Privacy and security - Usable security: how to get itButler W. Lampson. CACM, 52(11):25-27, 2009. [doi]

2008

Lazy and speculative execution in computer systemsButler W. Lampson. ICFP 2008: 1-2 [doi]

2006

Lazy and Speculative Execution in Computer SystemsButler W. Lampson. opodis 2006: 1-2 [doi]

Gold and Fool s Gold: Successes, Failures, and Futures in Computer Systems ResearchButler W. Lampson. usenix 2006: [doi]

2004

Computer Security in the Real WorldButler W. Lampson. Computer, 37(6):37-46, 2004. [doi]

2003

A Trusted Open PlatformPaul England, Butler W. Lampson, John Manferdelli, Marcus Peinado, Bryan Willman. Computer, 36(7):55-62, 2003. [doi]

Getting computers to understandButler W. Lampson. JACM, 50(1):70-72, 2003. [doi]

2001

The ABCD s of PaxosButler W. Lampson. podc 2001: 13 [doi]

2000

Revisiting the PAXOS algorithmRoberto De Prisco, Butler W. Lampson, Nancy A. Lynch. TCS, 243(1-2):35-91, 2000. [doi]

1999

1998

A Processor for a High-Performance Personal ComputerButler W. Lampson, Kenneth A. Pier. isca 1998: 180-194 [doi]

IP Lookups Using Multiway and Multicolumn SearchButler W. Lampson, Venkatachary Srinivasan, George Varghese. infocom 1998: 1248-1256

1997

Revisiting the Paxos AlgorithmRoberto De Prisco, Butler W. Lampson, Nancy A. Lynch. wdag 1997: 111-125

1996

Analysis and Caching of DependenciesMartín Abadi, Butler W. Lampson, Jean-Jacques Lévy. ICFP 1996: 83-91

How to Build a Highly Available System Using ConsensusButler W. Lampson. wdag 1996: 1-17

Virtual Infrastructure: Putting Information Infrastructure on the Technology CurveDavid L. Tennenhouse, Butler W. Lampson, Sharon Eisner Gillett, Jennifer Steiner Klein. cn, 28(13):1769-1790, 1996. [doi]

1994

Interconnecting Computers: Architecture, Technology, and EconomicsButler W. Lampson. plsa 1994: 1-20

1993

1992

On-Line Data Compression in a Log-Structured File SystemMichael Burrows, Charles Jerian, Butler W. Lampson, Timothy Mann. asplos 1992: 2-9

Authentication in Distributed Systems: Theory and PracticeButler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber. tocs, 10(4):265-310, 1992. [doi]

At-Most-Once Message Delivery. A Case Study in Algorithm VerificationButler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen. concur 1992: 317-324

1991

Authentication and Delegation with Smart-cardsMartín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson. tacs 1991: 326-345

A Calculus for Access Control in Distributed SystemsMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin. crypto 1992: 1-23 [doi]

Authentication in Distributed Systems: Theory and PracticeButler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber. sosp 1991: 165-182

1988

Pebble, a Kernel Language for Modules and Abstract Data TypesButler W. Lampson, Rod M. Burstall. iandc, 76(2/3):278-346, February/March 1988.

Personal distributed computing: the alto and ethernet softwareButler W. Lampson. In Adele Goldberg, editor, A History of Personal Workstations. pages 291-344, ACM, 1988. [doi]

1986

A Global Authentication Service without Global TrustAndrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder. sp 1986: 223-230

Current work on authenticationAndrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder. sigopsE 1986: [doi]

Designing a Global Name ServiceButler W. Lampson. podc 1986: 1-10

1984

A Kernel Language for Abstract Data Types and ModulesRod M. Burstall, Butler W. Lampson. sdt 1984: 1-50

Hints for Computer System DesignButler W. Lampson. IEEE Software, 1(1):11-28, 1984.

Gene McDaniel, Severo M. Ornstein: An Instruction Fetch Unit for a High-Performance Personal ConmputerButler W. Lampson. TC, 33(8):712-730, 1984.

Programming language issues for the 1980's: SIGPLAN '83: symposium on programming languages issues in software systemsLawrence A. Rowe, L. Peter Deutsch, Stuart I. Feldman, Butler W. Lampson, Barbara Liskov, Terry Winograd. SIGPLAN, 19(8):51-61, 1984. [doi]

1983

Hints for Computer System DesignButler W. Lampson. sosp 1983: 33-48

Practical Use of a Polymorphic Applicative LanguageButler W. Lampson, Eric E. Schmidt. POPL 1983: 237-255

Organizing software in a distributed environmentButler W. Lampson, Eric E. Schmidt. SIGPLAN, 18(6):1-13, 1983. [doi]

1982

Fast Procedure CallsButler W. Lampson. asplos 1982: 66-76

1981

The Memory System of a High-Performance Personal ComputerDouglas W. Clark, Butler W. Lampson, Kenneth A. Pier. TC, 30(10):715-733, 1981.

1980

Applications and ProtocolsStephen R. Kimbleton, Pearl Y. Wang, Butler W. Lampson. ac 1981: 308-370

Atomic TransactionsButler W. Lampson. ac 1981: 246-265

Ethernet, Pup and VioletButler W. Lampson. ac 1981: 446-485

A Processor for a High-Performance Personal ComputerButler W. Lampson, Kenneth A. Pier. isca 1980: 146-160

Experience with Processes and Monitors in MesaButler W. Lampson, David D. Redell. CACM, 23(2):105-117, 1980.

1979

An Open Operating System for a Single-User MachineButler W. Lampson, Robert F. Sproull. sosp 1979: 98-105

Experience with Processes and Monitors in Mesa (Summary)Butler W. Lampson, David D. Redell. sosp 1979: 43-44

1978

Proof Rules for the Programming Language EuclidRalph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek. pc 1979: 133-163

Proof Rules for the Programming Language EuclidRalph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek. ACTA, 10:1-26, 1978.

1977

A Terminal-Oriented Communication SystemPaul G. Heckel, Butler W. Lampson. CACM, 20(7):486-494, 1977.

Report on the programming language EuclidButler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek. SIGPLAN, 12(2):1-79, 1977. [doi]

Notes on the Design of EuclidGerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London. ldrs 1977: 11-18

1976

Reflections on an Operating System DesignButler W. Lampson, Howard E. Sturgis. CACM, 19(5):251-265, 1976.

1975

Synchronization: Introduction by the session chairmanButler W. Lampson. sigops, 9(3):1-2, 1975. [doi]

1974

On the transfer of control between contextsButler W. Lampson, James G. Mitchell, E. H. Satterthwhaite. programm 1974: 181-203

An open operating system for a single-user machineButler W. Lampson. os 1974: 208-217

Redundancy and Robustness in Memory ProtectionButler W. Lampson. ifip 1974: 128-132

ProtectionButler W. Lampson. sigops, 8(1):18-24, 1974. [doi]

1973

A Note on the Confinement ProblemButler W. Lampson. CACM, 16(10):613-615, 1973.

1969

Dynamic protection structuresButler W. Lampson. afips 1969: 27-38 [doi]

1968

A scheduling philosophy for multiprocessing systemsButler W. Lampson. CACM, 11(5):347-360, 1968. [doi]

1967

An online editorL. Peter Deutsch, Butler W. Lampson. CACM, 10(12):793-799, 1967. [doi]

A scheduling philosophy for multi-processing systemsButler W. Lampson. sosp 1967: [doi]

1965

Interactive machine-language programmingButler W. Lampson. afips 1965: 141-149 [doi]

Interactive machine language programmingButler W. Lampson. afips 1965: 473-481 [doi]

Sign in or sign up to see more results.

runs on WebDSL