butler w. lampson in operating systems, infotech state of the … · 2018. 1. 4. · butler w....

16

Upload: others

Post on 31-Jan-2021

3 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

ButlerText BoxButler W. Lampson

In Operating Systems, Infotech State of the Art Report 14, 1972, pp 311-326

Looking atarchive.cra.org/Activities/summit/Wing_Looking_Ahead_at_CISE.pdf · [Butler Lampson, Getting Computers to Understand, Microsoft, J. ACM50, 1 (Jan. 2003), pp 70‐72.] Cars

Oral History of Butler Lampsonarchive.computerhistory.org/resources/access/text/2013/...But also to get an oral history. Butler Lampson: I was going to say, I thought the job was to

1 Computer Security in the Real World Butler Lampson Microsoft

Butler Lampson Microsoft August 4, 2004

Gold and Fools Gold: Successes, Failures, and Futures in Computer Systems Research Butler Lampson Microsoft Usenix Annual Meeting June 2, 2006

Verifying concurrent software using movers in CSPECosdi18-slides.pdf · Verifying concurrent software using movers in CSPEC Tej Chajed, Frans Kaashoek, Butler Lampson*, Nickolai Zeldovich

Warren Lampson Suen - Entrenched

Butler Lampson - The ABCD’s of Paxos · Web viewCast your problem as a deterministic state machine that takes input requests for state transitions, called . steps, from the client,

Hints and Principles for Computer System Design...Aug 06, 2014 · Hints and Principles for Computer System Design Butler Lampson Microsoft Research MSRA Faculty Summit October 30,

1 Lazy and Speculative Execution Butler Lampson Microsoft Research OPODIS, Bordeaux, France 12 December 2006

Verifying concurrent software using movers in CSPEC · Verifying concurrent software using movers in CSPEC Tej Chajed, Frans Kaashoek, Butler Lampson*, Nickolai Zeldovich MIT CSAIL

SECRETARY OF LABOR, LAMPSON INTERNATIONAL, LTD.,

Personal Control of Your Data Butler Lampson August 8, 2013

Butler Lampson - The ABCD’s of Paxosbwlampson.site/65-ABCDPaxos/Word.doc · Web viewButler W. Lampson Microsoft 180 Lake View Ave Cambridge, MA 02138 1-617-547-9580 [email protected]

A View from DCarchive.cra.org/Activities/snowbird/2008/slides/Wing_Snowbird08.pdf · [Butler Lampson, Getting Computers to Understand, Microsoft, J. ACM 50, 1 (Jan. 2003), pp 70-72.]

SDSI - S imple Distributed Security Infrastructure Original paper by Ronald L. Rivest, MIT Butler Lampson, Microsoft Corporation April 30, 1996 Presentation

A Scheduling Philosophy for Multi- - Butler Lampsonbwlampson.site/05-SchedPhil/05-SchedPhil.pdf1/35 A Scheduling Philosophy for Multi-processing Systems1,2 Butler W. Lampson University

Butler Lampson - Personal Distributed Computing: The Alto ...bwlampson.site/38-AltoSoftware/Backup/Word.doc · Web viewButler W. Lampson Systems Research Center Digital Equipment

hints for computer system design by Butler Lampson

1 Accountability and Freedom Butler Lampson Microsoft October 27, 2005

Authentication in Distributed Systems: Theory and Practice file · Web viewAuthentication in Distributed Systems: Theory and Practice. BUTLER LAMPSON, MARTÍN ABADI, MICHAEL BURROWS,

Verifying concurrent software using movers in CSPECosdi2018-slides.pdf · Verifying concurrent software using movers in CSPEC Tej Chajed, Frans Kaashoek, Butler Lampson*, Nickolai

The Bridge Pattern (Structural) “All problems in computer science can be solved by another level of indirection.” – Butler Lampson ©SoftMoore ConsultingSlide

The Uses of Computers: What is Past is Merely Prologue Butler Lampson Microsoft 21 st Century Computing Conference November, 2008

DOI:10.1145/1592761.1592773 Butler Lampson Privacy and ... · cillate between too much security and too little. They don’t measure the cost of the time users spend on security and

Hints and Principles HLF 2015 - Butler W. Lampson › Slides › Hints and principles (HLF... · 2016-12-05 · Hints and Principles for Computer System Design ... August 27, 2015

Report on the Programming Language Euclidtextfiles.com/bitsavers/pdf/xerox/parc/techReports/CSL-81-12... · Report on the Programming Language Euclid Butler W. Lampson James J. Horning

10/17/06Alto Personal Distributed Computing1 The Alto and Ethernet System Xerox PARC in the 1970s Butler Lampson Microsoft Research October 17, 2006

Computer System Design By Lampson Hints

Authentication in Distributed Systems: Theory and Practice · 2003. 1. 20. · Authentication in Distributed Systems: Theory and Practice Butler Lampson, Martin Abadi, Michael Burrows,

How Software Components Grew Up and Conquered the World Butler Lampson

web.mit.eduweb.mit.edu/6.826/archive/S02/1-6.pdf · 6.826—Principles of Computer Systems 2002 Handout 1. Course Information 1 1. Course Information Staff Faculty Butler Lampson

“All problems in computer science can be solved by another level of indirection” - Butler. W. Lampson Lampson and his Hints - prashanth

1 Computer Security in the Real World Butler Lampson Microsoft August 2005

Butler Lampson Microsoft · 2018-01-04 · Elements of Security Policy: Specifying security ... Alice connects to Spectra, ... View a resource object O as a principal