85 On-line Data Compression in a Log-structured File System Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann

Source URL: www.tim-mann.org

Hints for Computer System Design1 Butler W. Lampson Computer Science Laboratory Xerox Palo Alto Research Center Palo Alto, CA 94304

Source URL: web.eecs.umich.edu

Hints for Computer System Design1 Butler W. Lampson Computer Science Laboratory Xerox Palo Alto Research Center Palo Alto, CA 94304

Source URL: rule11.tech

Microsoft Word - Lampson_Butler_1.oral_historyfinal.doc

Source URL: archive.computerhistory.org

Hints for Computer System Design1 Butler W. Lampson Computer Science Laboratory Xerox Palo Alto Research Center Palo Alto, CA 94304

Source URL: research.microsoft.com

Protection1 Butler W. Lampson Xerox Corporation Palo Alto, California Abstract

Source URL: research.microsoft.com

• Computer security
• Computer access control
• Software
• Computing
• Access control
• Memory management
• Memory protection
• Kernel
• Capability-based security
• Operating system
• Access Control Matrix
• File system

A Note on the Confinement Problem1 Butler W. Lampson Xerox Palo Alto Research Center This note explores the problem of confining a program during its execution so that it cannot transmit information to any other program

Source URL: inst.eecs.berkeley.edu

2613 Speedway, Stop A2800 | Austin, TX 78712 | (MEDIA CONTACT Lauryn Feil Senior Communications Coordinator

Source URL: lifelong.engr.utexas.edu

• Science and technology in the United States
• Science and technology
• Engineering
• Turing Award laureates
• Ethernet
• David Boggs
• Butler Lampson
• Charles P. Thacker
• PARC
• Institute of Electrical and Electronics Engineers
• National Medal of Technology and Innovation
• Xerox Alto

Experience with Processes and Monitors in Mesa1 Butler W. Lampson Xerox Palo Alto Research Center David D. Redell Xerox Business Systems

Source URL: www.scs.stanford.edu

• Computer programming
• Monitor
• Concurrent Pascal
• Lock
• Deadlock
• Mutual exclusion
• Mesa
• Semaphore
• Parallel computing
• Concurrency control
• Computing
• Software engineering

ICFP 2008 Final Program Monday, Sep 22, 2008 Invited Talk (Chair: Peter Thiemann) 9:00 Lazy and Speculative Execution in Computer Systems Butler Lampson; Microsoft Research

Source URL: www.icfpconference.org

• Functional programming
• Functional languages
• Year of birth missing
• Type theory
• ICFP Programming Contest
• Generic programming
• Bluespec
• Inc.
• Haskell
• International Conference on Functional Programming
• Software engineering
• Computing
• Programming language theory