Microsoft Research New England
1 Memorial Drive
Cambridge, MA 02142
This web page is at http://butler.lampsons.us
as well as at http://research.microsoft.com/lampson
Here are a one-paragraph
biography, a short biography and a CV (or as a single Word file here).
Here is a list of publications, with links to
abstracts and text.
Here are brief descriptions of systems I have
worked on. It is cross-referenced to the publications, and vice versa.
Here are links to the papers that people most often ask for:
Computer System Design. This is the 1983 paper.
Distributed Systems: Theory and Practice.
Usable Security—How to
Security in the Real World.
Global Name Service.
How to Build
a Highly Available System Using Consensus.
SDSI: A Simple
Distributed Security Infrastructure.
of Computer Systems course at MIT.
The ABCDs of
Principles for Computer Security
Here are links to slides for recent talks I’ve given. They are to abstracts,
from which you can get to the slides in HTML, Acrobat, or Word and PowerPoint
Principles for Computer System Design
Cyber Security and Privacy
Personal Control of
on Security (SOSP 2015 history day talk)
and Speculative Execution
Alto and Ethernet System: Xerox PARC in the 1970’s
Practical Principles for
and Fool’s Gold: Successes, Failures, and Futures in Computer Systems Research
Accountability and Freedom
Systems Security—Lectures at TECS week, January 2005
Security in the Real World
Software Components Grew Up and Conquered the World
Build a Highly Available System Without a Toolkit
for Computer System Design (my Turing lecture)
Methods for Design: How To Understand Your System Before (Or After) You Build
Here is the 2002 version of the tiretracks diagram that
shows how computing research has spawned multi-billion dollar industries, in Acrobat
format. Here is the 2012 version (less detail, but more up to date) in Acrobat; this one was done by
Peter Lee and his committee.
Here are some higher-resolution pictures: