Butler Lampson

Emeritus Researcher

Publications

Afficher par:

- Programming Concurrent Systems
  
  Butler Lampson
  
  Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | Publié par ACM | 2022
  
  ISBN: ISBN: 978-1-4503-9774-2
  
  Tribute volume for Edsger Dijkstra
  
  Publication
- Hints and Principles for Computer System Design
  
  Butler Lampson
  
  November 2020
  
  In addition to the full version there is a short version (about half as long), at the Related link. The View link is to the version on ArXiv.
  
  PDF Publication
- Perspectives on Security (slides)
  
  25th ACM Symposium on Operating Systems Principles | October 2015
  
  Slides
  
  PDF DOI
- Bulk Collection of Signals Intelligence: Technical Options
  
  Butler Lampson
  
  Published by National Academy Press | September 2015
  
  Rédacteur(s) en chef: Alan Shaw
  
  ISBN: 978-0-309-32520-2
  
  PDF Publication
- Retroactive security (slides)
  
  Fred Schneider's 60th birthday celebration | December 2013
  
  Slides
  
  PDF
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- What Computers Do: Model, Connect, Engage
  
  9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
  
  Rédacteur(s) en chef: Manindra Agrawal, S. Barry Cooper, Angsheng Li
  
  PDF Author's Version DOI
- Making Untrusted Code Useful
  
  Butler Lampson
  
  Communications of the ACM | November 2011, Vol 54(11): pp. 92-92
  
  PDF DOI
- Declarative programming: The light at the end of the tunnel
  
  Butler Lampson
  
  Points of View: A Tribute to Alan Kay | Publié par Viewpoints Research Institute | 2010
  
  ISBN: 978-0974313115
  
  PDF
- Usable Security: How to Get It
  
  Butler Lampson
  
  Communications of the ACM | November 2009, Vol 52(11): pp. 25-27
  
  PDF DOI
- Lazy and Speculative Execution in Computer Systems
  
  Butler Lampson
  
  13th International Conference on Functional Programming (ICFP '08) | September 2008
  
  PDF
- Practical Principles for Computer Security
  
  Butler Lampson
  
  NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
  
  Proceedings of the 2006 Marktoberdorf Summer school.
  
  PDF
- Principles of Computer Systems (course notes)
  
  2006 course notes | February 2006
  
  Publié par MIT
  
  Lecture notes for the 2006 version of the course.
  
  PDF Publication
- Getting Up To Speed: The Future of Supercomputing
  
  Published by National Academies Press | May 2005
  
  Rédacteur(s) en chef: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
  
  ISBN: 978-0-309-09502-0
  
  PDF DOI
- Security
  
  Butler Lampson
  
  January 2005
  
  PDF Author's Version
- Computer Security in the Real World (IEEE Computer)
  
  IEEE Computer | June 2004, Vol 37(6): pp. 37-46
  
  The author's version is an earlier, expanded version.
  
  PDF Author's Version DOI
- The Ongoing Computer Revolution
  
  Butler Lampson
  
  The Bridge | June 2004, Vol 34(2): pp. 39-40
  
  This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
  
  PDF Author's Version Publication
- A Conceptual Authorization Model for Web Services
  
  Paul J. Leach, Chris Kaler, Blair Dillaway, Praerit Garg, Brian LaMacchia, Butler Lampson, John Manferdelli, Rick Rashid, John Shewchuk, Dan Simon, Richard Ward
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003
  
  PDF DOI
- Software Components: Only The Giants Survive
  
  Butler Lampson
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer Verlag | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003. It is based on a keynote address at the 21st International Conference on Software Engineering, Los Angeles, California, 16-22 May 1999.
  
  PDF DOI Publication
- A Trusted Open Platform
  
  Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
  
  IEEE Computer | July 2003, Vol 36(7): pp. 55-62
  
  PDF DOI
- Computing Meets the Physical World
  
  Butler Lampson
  
  The Bridge | April 2003, Vol 33(1): pp. 4-7
  
  PDF Publication
- Getting Computers to Understand
  
  Butler Lampson
  
  Journal of the ACM | January 2003, Vol 50(1): pp. 70-72
  
  PDF DOI
- The ABCDs of Paxos
  
  Butler Lampson
  
  Principles of Distributed Computing | August 2001
  
  PDF Author's Version
- Computer Security in the Real World
  
  Butler Lampson
  
  Annual Computer Security Applications Conference | December 2000
  
  ISBN 0-7695-0859-6. Slides
  
  PDF Publication Publication
- Revisiting the Paxos Algorithm
  
  Roberto de Prisco, Butler Lampson, Nancy Lynch
  
  Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91
  
  A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
  
  PDF DOI
- Information Systems Security
  
  Thomas Berson, Richard Kemmerer, Butler Lampson
  
  Realizing the Potential of C4I: Fundamental Challenges, 3 | Publié par National Academy Press | 1999
  
  ISBN: 978-0-309-06485-9
  
  PDF DOI Author's Version
- SPKI Certificate Theory
  
  Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
  
  September 1999
  
  Internet RFC 2693
  
  PDF Publication
- IP Lookups using Multiway and Multicolumn Search
  
  Butler Lampson, V. Srinivasan, G. Varghese
  
  IEEE/ACM Transactions on Networking | June 1999, Vol 7(3): pp. 324-334
  
  An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
  
  PDF DOI Publication DOI Author's Version
- Computer Systems Research: Past and Future
  
  Butler Lampson
  
  October 1998
  
  The Strachey Lectures in Computing Science, University of Oxford
  
  PDF Author's Version
- How to Build a Highly Available System Using Consensus
  
  Butler Lampson
  
  10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
  
  Rédacteur(s) en chef: Ozalp Babaoglu and Keith Marzullo
  
  The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
  
  PDF Author's Version DOI
- SDSI – A Simple Distributed Security Infrastructure
  
  Butler Lampson, Ronald L. Rivest
  
  October 1996
  
  PDF
- Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve
  
  David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
  
  Computer Networks and ISDN Systems | October 1996, Vol 28(13): pp. 1769-1790
  
  PDF Publication DOI
- Understanding Network Connections
  
  Butler Lampson
  
  October 1995
  
  PDF Publication
- Implementing Coherent Memory
  
  Butler Lampson
  
  A Classical Mind: Essays in Honour of C.A.R. Hoare | Publié par Prentice-Hall | 1994
  
  ISBN: 978-0132948449
  
  PDF DOI
- A New Presumed Commit Optimization for Two Phase Commit
  
  Butler Lampson, David Lomet
  
  19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
  
  ISBN 1-55860-152-X
  
  PDF Publication
- Reliable Messages and Connection Establishment
  
  Butler Lampson
  
  Distributed Systems, ed. S.Mullender | Publié par ACM Press/Addison-Wesley | 1993 | 2 edition
  
  ISBN: 978-0-201-62427-4
  
  PDF Publication DOI
- Authentication in Distributed Systems: Theory and Practice
  
  Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
  
  ACM Transactions on Computer Systems | November 1992, Vol 10: pp. 265-310
  
  Publication Publication Publication
- On-line Data Compression in a Log-structured File System
  
  Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann
  
  Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992
  
  ACM Sigplan Notices 27, 9 (Sept. 1992)
  
  PDF Publication DOI
- A Distributed Systems Architecture for the 1990’s
  
  Andrew Birrell, Butler Lampson, Mike Schroeder
  
  | December 1989
  
  Publié par Digital Equipment Corp. Systems Research Center
  
  PDF Publication
- Designing a Global Name Service
  
  Butler Lampson
  
  4th ACM Symposium on Principles of Distributed Computing | August 1986
  
  PDF Publication Publication DOI
- A Global Authentication Service without Global Trust
  
  Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder
  
  IEEE Symposium on Security and Privacy | April 1986
  
  Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
  
  Publication Publication Publication
- Current work on authentication
  
  Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
  
  ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
  
  Publication
- A kernel language for modules and abstract data types
  
  Rod Burstall, Butler Lampson
  
  International Symposium on Semantics of Data Types | September 1984
  
  Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346
  
  PDF DOI
- Hints for Computer System Design
  
  Butler Lampson
  
  9th ACM Symposium on Operating Systems Principles | October 1983
  
  ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.
  
  ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28
  
  PDF Publication Publication Publication
- Organizing software in a distributed environment
  
  Butler Lampson, Eric Schmidt
  
  1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983
  
  Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13
  
  PDF DOI
- A Processor for a High-Performance Personal Computer
  
  Butler Lampson, Kenneth A. Pier
  
  7th IEEE Symposium on Computer Architecture | May 1980
  
  Reprinted in 25 years of the International Symposia on Computer Architecture (selected papers), 1998, pp 180-194 (ISBN 978-1-58113-058-4). Also in Technical Report CSL-81-1, Xerox Palo Alto Research Center (related file).
  
  PDF Publication
- An Open Operating System for a Single-User Machine
  
  Butler Lampson, Robert F. Sproull
  
  7th ACM Symposium on Operating Systems Principles | December 1979
  
  Rédacteur(s) en chef: Michael D. Schroeder, Anita K. Jones
  
  Published in ACM Operating Systems Review 11, 5 (Dec. 1979), pp 98-105. For the original, see the related file.
  
  PDF Publication DOI
- A terminal-oriented communication system
  
  Paul Heckel, Butler Lampson
  
  Communications of the ACM | July 1977, Vol 20(7): pp. 486-494
  
  PDF DOI
- Storage allocation in typed languages
  
  Butler Lampson
  
  Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
  
  Publication
- Redundancy and robustness in memory protection
  
  Butler Lampson
  
  Proc. IFIP Cong | January 1974
  
  Publication
- Alto OS Design Notes
  
  Butler Lampson
  
  February 1973
  
  Publication
- Teaching of computer design to computer science undergraduates.
  
  Butler Lampson
  
  The Teaching of Computer Design | September 1971
  
  Publication
- A User Machine in a Time-Sharing System
  
  Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
  
  Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774
  
  Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
  
  PDF Publication Publication DOI

- Information Systems Security
  
  Thomas Berson, Richard Kemmerer, Butler Lampson
  
  Realizing the Potential of C4I: Fundamental Challenges, 3 | Publié par National Academy Press | 1999
  
  ISBN: 978-0-309-06485-9
  
  PDF DOI Author's Version
- IP Lookups using Multiway and Multicolumn Search
  
  Butler Lampson, V. Srinivasan, G. Varghese
  
  IEEE/ACM Transactions on Networking | June 1999, Vol 7(3): pp. 324-334
  
  An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
  
  PDF DOI Publication DOI Author's Version
- Computer Systems Research: Past and Future
  
  Butler Lampson
  
  October 1998
  
  The Strachey Lectures in Computing Science, University of Oxford
  
  PDF Author's Version
- How to Build a Highly Available System Using Consensus
  
  Butler Lampson
  
  10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
  
  Rédacteur(s) en chef: Ozalp Babaoglu and Keith Marzullo
  
  The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
  
  PDF Author's Version DOI
- Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve
  
  David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
  
  Computer Networks and ISDN Systems | October 1996, Vol 28(13): pp. 1769-1790
  
  PDF Publication DOI
- Understanding Network Connections
  
  Butler Lampson
  
  October 1995
  
  PDF Publication
- Implementing Coherent Memory
  
  Butler Lampson
  
  A Classical Mind: Essays in Honour of C.A.R. Hoare | Publié par Prentice-Hall | 1994
  
  ISBN: 978-0132948449
  
  PDF DOI
- Reliable Messages and Connection Establishment
  
  Butler Lampson
  
  Distributed Systems, ed. S.Mullender | Publié par ACM Press/Addison-Wesley | 1993 | 2 edition
  
  ISBN: 978-0-201-62427-4
  
  PDF Publication DOI
- On-line Data Compression in a Log-structured File System
  
  Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann
  
  Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992
  
  ACM Sigplan Notices 27, 9 (Sept. 1992)
  
  PDF Publication DOI
- A Distributed Systems Architecture for the 1990’s
  
  Andrew Birrell, Butler Lampson, Mike Schroeder
  
  | December 1989
  
  Publié par Digital Equipment Corp. Systems Research Center
  
  PDF Publication
- Designing a Global Name Service
  
  Butler Lampson
  
  4th ACM Symposium on Principles of Distributed Computing | August 1986
  
  PDF Publication Publication DOI
- A Global Authentication Service without Global Trust
  
  Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder
  
  IEEE Symposium on Security and Privacy | April 1986
  
  Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
  
  Publication Publication Publication
- Current work on authentication
  
  Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
  
  ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
  
  Publication
- Hints for Computer System Design
  
  Butler Lampson
  
  9th ACM Symposium on Operating Systems Principles | October 1983
  
  ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.
  
  ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28
  
  PDF Publication Publication Publication
- A Processor for a High-Performance Personal Computer
  
  Butler Lampson, Kenneth A. Pier
  
  7th IEEE Symposium on Computer Architecture | May 1980
  
  Reprinted in 25 years of the International Symposia on Computer Architecture (selected papers), 1998, pp 180-194 (ISBN 978-1-58113-058-4). Also in Technical Report CSL-81-1, Xerox Palo Alto Research Center (related file).
  
  PDF Publication
- An Open Operating System for a Single-User Machine
  
  Butler Lampson, Robert F. Sproull
  
  7th ACM Symposium on Operating Systems Principles | December 1979
  
  Rédacteur(s) en chef: Michael D. Schroeder, Anita K. Jones
  
  Published in ACM Operating Systems Review 11, 5 (Dec. 1979), pp 98-105. For the original, see the related file.
  
  PDF Publication DOI
- Programming Concurrent Systems
  
  Butler Lampson
  
  Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | Publié par ACM | 2022
  
  ISBN: ISBN: 978-1-4503-9774-2
  
  Tribute volume for Edsger Dijkstra
  
  Publication
- Hints and Principles for Computer System Design
  
  Butler Lampson
  
  November 2020
  
  In addition to the full version there is a short version (about half as long), at the Related link. The View link is to the version on ArXiv.
  
  PDF Publication
- Perspectives on Security (slides)
  
  25th ACM Symposium on Operating Systems Principles | October 2015
  
  Slides
  
  PDF DOI
- What Computers Do: Model, Connect, Engage
  
  9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
  
  Rédacteur(s) en chef: Manindra Agrawal, S. Barry Cooper, Angsheng Li
  
  PDF Author's Version DOI
- Making Untrusted Code Useful
  
  Butler Lampson
  
  Communications of the ACM | November 2011, Vol 54(11): pp. 92-92
  
  PDF DOI
- Lazy and Speculative Execution in Computer Systems
  
  Butler Lampson
  
  13th International Conference on Functional Programming (ICFP '08) | September 2008
  
  PDF
- Principles of Computer Systems (course notes)
  
  2006 course notes | February 2006
  
  Publié par MIT
  
  Lecture notes for the 2006 version of the course.
  
  PDF Publication
- Getting Up To Speed: The Future of Supercomputing
  
  Published by National Academies Press | May 2005
  
  Rédacteur(s) en chef: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
  
  ISBN: 978-0-309-09502-0
  
  PDF DOI
- Security
  
  Butler Lampson
  
  January 2005
  
  PDF Author's Version
- A Conceptual Authorization Model for Web Services
  
  Paul J. Leach, Chris Kaler, Blair Dillaway, Praerit Garg, Brian LaMacchia, Butler Lampson, John Manferdelli, Rick Rashid, John Shewchuk, Dan Simon, Richard Ward
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003
  
  PDF DOI
- A Trusted Open Platform
  
  Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
  
  IEEE Computer | July 2003, Vol 36(7): pp. 55-62
  
  PDF DOI
- Computing Meets the Physical World
  
  Butler Lampson
  
  The Bridge | April 2003, Vol 33(1): pp. 4-7
  
  PDF Publication
- Getting Computers to Understand
  
  Butler Lampson
  
  Journal of the ACM | January 2003, Vol 50(1): pp. 70-72
  
  PDF DOI
- A User Machine in a Time-Sharing System
  
  Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
  
  Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774
  
  Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
  
  PDF Publication Publication DOI
- Computer Security in the Real World
  
  Butler Lampson
  
  Annual Computer Security Applications Conference | December 2000
  
  ISBN 0-7695-0859-6. Slides
  
  PDF Publication Publication
- Information Systems Security
  
  Thomas Berson, Richard Kemmerer, Butler Lampson
  
  Realizing the Potential of C4I: Fundamental Challenges, 3 | Publié par National Academy Press | 1999
  
  ISBN: 978-0-309-06485-9
  
  PDF DOI Author's Version
- SPKI Certificate Theory
  
  Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
  
  September 1999
  
  Internet RFC 2693
  
  PDF Publication
- SDSI – A Simple Distributed Security Infrastructure
  
  Butler Lampson, Ronald L. Rivest
  
  October 1996
  
  PDF
- A Distributed Systems Architecture for the 1990’s
  
  Andrew Birrell, Butler Lampson, Mike Schroeder
  
  | December 1989
  
  Publié par Digital Equipment Corp. Systems Research Center
  
  PDF Publication
- A Global Authentication Service without Global Trust
  
  Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder
  
  IEEE Symposium on Security and Privacy | April 1986
  
  Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
  
  Publication Publication Publication
- Perspectives on Security (slides)
  
  25th ACM Symposium on Operating Systems Principles | October 2015
  
  Slides
  
  PDF DOI
- Bulk Collection of Signals Intelligence: Technical Options
  
  Butler Lampson
  
  Published by National Academy Press | September 2015
  
  Rédacteur(s) en chef: Alan Shaw
  
  ISBN: 978-0-309-32520-2
  
  PDF Publication
- Retroactive security (slides)
  
  Fred Schneider's 60th birthday celebration | December 2013
  
  Slides
  
  PDF
- Usable Security: How to Get It
  
  Butler Lampson
  
  Communications of the ACM | November 2009, Vol 52(11): pp. 25-27
  
  PDF DOI
- Practical Principles for Computer Security
  
  Butler Lampson
  
  NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
  
  Proceedings of the 2006 Marktoberdorf Summer school.
  
  PDF
- Security
  
  Butler Lampson
  
  January 2005
  
  PDF Author's Version
- Computer Security in the Real World (IEEE Computer)
  
  IEEE Computer | June 2004, Vol 37(6): pp. 37-46
  
  The author's version is an earlier, expanded version.
  
  PDF Author's Version DOI
- A Conceptual Authorization Model for Web Services
  
  Paul J. Leach, Chris Kaler, Blair Dillaway, Praerit Garg, Brian LaMacchia, Butler Lampson, John Manferdelli, Rick Rashid, John Shewchuk, Dan Simon, Richard Ward
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003
  
  PDF DOI
- A Trusted Open Platform
  
  Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
  
  IEEE Computer | July 2003, Vol 36(7): pp. 55-62
  
  PDF DOI
- The ABCDs of Paxos
  
  Butler Lampson
  
  Principles of Distributed Computing | August 2001
  
  PDF Author's Version
- Alto OS Design Notes
  
  Butler Lampson
  
  February 1973
  
  Publication
- Computer Systems Research: Past and Future
  
  Butler Lampson
  
  October 1998
  
  The Strachey Lectures in Computing Science, University of Oxford
  
  PDF Author's Version
- How to Build a Highly Available System Using Consensus
  
  Butler Lampson
  
  10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
  
  Rédacteur(s) en chef: Ozalp Babaoglu and Keith Marzullo
  
  The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
  
  PDF Author's Version DOI
- A New Presumed Commit Optimization for Two Phase Commit
  
  Butler Lampson, David Lomet
  
  19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
  
  ISBN 1-55860-152-X
  
  PDF Publication
- Authentication in Distributed Systems: Theory and Practice
  
  Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
  
  ACM Transactions on Computer Systems | November 1992, Vol 10: pp. 265-310
  
  Publication Publication Publication
- A Distributed Systems Architecture for the 1990’s
  
  Andrew Birrell, Butler Lampson, Mike Schroeder
  
  | December 1989
  
  Publié par Digital Equipment Corp. Systems Research Center
  
  PDF Publication
- Teaching of computer design to computer science undergraduates.
  
  Butler Lampson
  
  The Teaching of Computer Design | September 1971
  
  Publication
- Designing a Global Name Service
  
  Butler Lampson
  
  4th ACM Symposium on Principles of Distributed Computing | August 1986
  
  PDF Publication Publication DOI
- A kernel language for modules and abstract data types
  
  Rod Burstall, Butler Lampson
  
  International Symposium on Semantics of Data Types | September 1984
  
  Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346
  
  PDF DOI
- Hints for Computer System Design
  
  Butler Lampson
  
  9th ACM Symposium on Operating Systems Principles | October 1983
  
  ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.
  
  ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28
  
  PDF Publication Publication Publication
- Organizing software in a distributed environment
  
  Butler Lampson, Eric Schmidt
  
  1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983
  
  Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13
  
  PDF DOI
- A terminal-oriented communication system
  
  Paul Heckel, Butler Lampson
  
  Communications of the ACM | July 1977, Vol 20(7): pp. 486-494
  
  PDF DOI
- Storage allocation in typed languages
  
  Butler Lampson
  
  Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
  
  Publication
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- Declarative programming: The light at the end of the tunnel
  
  Butler Lampson
  
  Points of View: A Tribute to Alan Kay | Publié par Viewpoints Research Institute | 2010
  
  ISBN: 978-0974313115
  
  PDF
- Redundancy and robustness in memory protection
  
  Butler Lampson
  
  Proc. IFIP Cong | January 1974
  
  Publication
- Lazy and Speculative Execution in Computer Systems
  
  Butler Lampson
  
  13th International Conference on Functional Programming (ICFP '08) | September 2008
  
  PDF
- Software Components: Only The Giants Survive
  
  Butler Lampson
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer Verlag | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003. It is based on a keynote address at the 21st International Conference on Software Engineering, Los Angeles, California, 16-22 May 1999.
  
  PDF DOI Publication
- Getting Computers to Understand
  
  Butler Lampson
  
  Journal of the ACM | January 2003, Vol 50(1): pp. 70-72
  
  PDF DOI
- A User Machine in a Time-Sharing System
  
  Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
  
  Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774
  
  Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
  
  PDF Publication Publication DOI
- Computer Systems Research: Past and Future
  
  Butler Lampson
  
  October 1998
  
  The Strachey Lectures in Computing Science, University of Oxford
  
  PDF Author's Version
- Hints for Computer System Design
  
  Butler Lampson
  
  9th ACM Symposium on Operating Systems Principles | October 1983
  
  ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.
  
  ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28
  
  PDF Publication Publication Publication
- A Processor for a High-Performance Personal Computer
  
  Butler Lampson, Kenneth A. Pier
  
  7th IEEE Symposium on Computer Architecture | May 1980
  
  Reprinted in 25 years of the International Symposia on Computer Architecture (selected papers), 1998, pp 180-194 (ISBN 978-1-58113-058-4). Also in Technical Report CSL-81-1, Xerox Palo Alto Research Center (related file).
  
  PDF Publication
- Getting Up To Speed: The Future of Supercomputing
  
  Published by National Academies Press | May 2005
  
  Rédacteur(s) en chef: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
  
  ISBN: 978-0-309-09502-0
  
  PDF DOI
- The Ongoing Computer Revolution
  
  Butler Lampson
  
  The Bridge | June 2004, Vol 34(2): pp. 39-40
  
  This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
  
  PDF Author's Version Publication
- Computing Meets the Physical World
  
  Butler Lampson
  
  The Bridge | April 2003, Vol 33(1): pp. 4-7
  
  PDF Publication
- The Ongoing Computer Revolution
  
  Butler Lampson
  
  The Bridge | June 2004, Vol 34(2): pp. 39-40
  
  This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
  
  PDF Author's Version Publication
- Getting Computers to Understand
  
  Butler Lampson
  
  Journal of the ACM | January 2003, Vol 50(1): pp. 70-72
  
  PDF DOI
- Revisiting the Paxos Algorithm
  
  Roberto de Prisco, Butler Lampson, Nancy Lynch
  
  Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91
  
  A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
  
  PDF DOI
- On-line Data Compression in a Log-structured File System
  
  Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann
  
  Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992
  
  ACM Sigplan Notices 27, 9 (Sept. 1992)
  
  PDF Publication DOI
- Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve
  
  David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
  
  Computer Networks and ISDN Systems | October 1996, Vol 28(13): pp. 1769-1790
  
  PDF Publication DOI
- A New Presumed Commit Optimization for Two Phase Commit
  
  Butler Lampson, David Lomet
  
  19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
  
  ISBN 1-55860-152-X
  
  PDF Publication

- Information Systems Security
  
  Thomas Berson, Richard Kemmerer, Butler Lampson
  
  Realizing the Potential of C4I: Fundamental Challenges, 3 | Publié par National Academy Press | 1999
  
  ISBN: 978-0-309-06485-9
  
  PDF DOI Author's Version
- Implementing Coherent Memory
  
  Butler Lampson
  
  A Classical Mind: Essays in Honour of C.A.R. Hoare | Publié par Prentice-Hall | 1994
  
  ISBN: 978-0132948449
  
  PDF DOI
- Reliable Messages and Connection Establishment
  
  Butler Lampson
  
  Distributed Systems, ed. S.Mullender | Publié par ACM Press/Addison-Wesley | 1993 | 2 edition
  
  ISBN: 978-0-201-62427-4
  
  PDF Publication DOI
- Programming Concurrent Systems
  
  Butler Lampson
  
  Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | Publié par ACM | 2022
  
  ISBN: ISBN: 978-1-4503-9774-2
  
  Tribute volume for Edsger Dijkstra
  
  Publication
- Declarative programming: The light at the end of the tunnel
  
  Butler Lampson
  
  Points of View: A Tribute to Alan Kay | Publié par Viewpoints Research Institute | 2010
  
  ISBN: 978-0974313115
  
  PDF
- A Conceptual Authorization Model for Web Services
  
  Paul J. Leach, Chris Kaler, Blair Dillaway, Praerit Garg, Brian LaMacchia, Butler Lampson, John Manferdelli, Rick Rashid, John Shewchuk, Dan Simon, Richard Ward
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003
  
  PDF DOI
- Software Components: Only The Giants Survive
  
  Butler Lampson
  
  Computer Systems: Theory, Technology, and Applications | Publié par Springer Verlag | 2004
  
  ISBN: 978-0-387-21821-2
  
  This paper was written for a symposium in honor of Roger Needham, February 2003. It is based on a keynote address at the 21st International Conference on Software Engineering, Los Angeles, California, 16-22 May 1999.
  
  PDF DOI Publication
- Hints and Principles for Computer System Design
  
  Butler Lampson
  
  November 2020
  
  In addition to the full version there is a short version (about half as long), at the Related link. The View link is to the version on ArXiv.
  
  PDF Publication
- Bulk Collection of Signals Intelligence: Technical Options
  
  Butler Lampson
  
  Published by National Academy Press | September 2015
  
  Rédacteur(s) en chef: Alan Shaw
  
  ISBN: 978-0-309-32520-2
  
  PDF Publication
- Getting Up To Speed: The Future of Supercomputing
  
  Published by National Academies Press | May 2005
  
  Rédacteur(s) en chef: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
  
  ISBN: 978-0-309-09502-0
  
  PDF DOI
- The ABCDs of Paxos
  
  Butler Lampson
  
  Principles of Distributed Computing | August 2001
  
  PDF Author's Version
- Computer Security in the Real World
  
  Butler Lampson
  
  Annual Computer Security Applications Conference | December 2000
  
  ISBN 0-7695-0859-6. Slides
  
  PDF Publication Publication
- How to Build a Highly Available System Using Consensus
  
  Butler Lampson
  
  10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
  
  Rédacteur(s) en chef: Ozalp Babaoglu and Keith Marzullo
  
  The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
  
  PDF Author's Version DOI
- A New Presumed Commit Optimization for Two Phase Commit
  
  Butler Lampson, David Lomet
  
  19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
  
  ISBN 1-55860-152-X
  
  PDF Publication
- On-line Data Compression in a Log-structured File System
  
  Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann
  
  Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992
  
  ACM Sigplan Notices 27, 9 (Sept. 1992)
  
  PDF Publication DOI
- Teaching of computer design to computer science undergraduates.
  
  Butler Lampson
  
  The Teaching of Computer Design | September 1971
  
  Publication
- Designing a Global Name Service
  
  Butler Lampson
  
  4th ACM Symposium on Principles of Distributed Computing | August 1986
  
  PDF Publication Publication DOI
- A Global Authentication Service without Global Trust
  
  Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder
  
  IEEE Symposium on Security and Privacy | April 1986
  
  Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
  
  Publication Publication Publication
- Current work on authentication
  
  Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
  
  ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
  
  Publication
- A kernel language for modules and abstract data types
  
  Rod Burstall, Butler Lampson
  
  International Symposium on Semantics of Data Types | September 1984
  
  Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346
  
  PDF DOI
- Hints for Computer System Design
  
  Butler Lampson
  
  9th ACM Symposium on Operating Systems Principles | October 1983
  
  ACM SigOps Hall of Fame award 2005. A classic study of experience building large systems, distilled into a cookbook of wisdom for the operating systems researcher. As time has passed, the value of these hints has only grown and the range of systems to which they apply enlarged.
  
  ACM Operating Systems Rev. 15, 5 (Oct. 1983). A slightly revised version was reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28
  
  PDF Publication Publication Publication
- Organizing software in a distributed environment
  
  Butler Lampson, Eric Schmidt
  
  1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983
  
  Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13
  
  PDF DOI
- A Processor for a High-Performance Personal Computer
  
  Butler Lampson, Kenneth A. Pier
  
  7th IEEE Symposium on Computer Architecture | May 1980
  
  Reprinted in 25 years of the International Symposia on Computer Architecture (selected papers), 1998, pp 180-194 (ISBN 978-1-58113-058-4). Also in Technical Report CSL-81-1, Xerox Palo Alto Research Center (related file).
  
  PDF Publication
- An Open Operating System for a Single-User Machine
  
  Butler Lampson, Robert F. Sproull
  
  7th ACM Symposium on Operating Systems Principles | December 1979
  
  Rédacteur(s) en chef: Michael D. Schroeder, Anita K. Jones
  
  Published in ACM Operating Systems Review 11, 5 (Dec. 1979), pp 98-105. For the original, see the related file.
  
  PDF Publication DOI
- Storage allocation in typed languages
  
  Butler Lampson
  
  Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
  
  Publication
- Perspectives on Security (slides)
  
  25th ACM Symposium on Operating Systems Principles | October 2015
  
  Slides
  
  PDF DOI
- Retroactive security (slides)
  
  Fred Schneider's 60th birthday celebration | December 2013
  
  Slides
  
  PDF
- A Colorful Approach to Text Processing by Example
  
  Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
  
  PDF DOI Projet
- A Machine Learning Framework for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
  
  PDF PDF Publication Projet Projet
- Textual Features for Programming by Example
  
  Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
  
  Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
  
  Publication Publication
- What Computers Do: Model, Connect, Engage
  
  9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
  
  Rédacteur(s) en chef: Manindra Agrawal, S. Barry Cooper, Angsheng Li
  
  PDF Author's Version DOI
- Redundancy and robustness in memory protection
  
  Butler Lampson
  
  Proc. IFIP Cong | January 1974
  
  Publication
- Lazy and Speculative Execution in Computer Systems
  
  Butler Lampson
  
  13th International Conference on Functional Programming (ICFP '08) | September 2008
  
  PDF
- Practical Principles for Computer Security
  
  Butler Lampson
  
  NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
  
  Proceedings of the 2006 Marktoberdorf Summer school.
  
  PDF
- Alto OS Design Notes
  
  Butler Lampson
  
  February 1973
  
  Publication
- SPKI Certificate Theory
  
  Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
  
  September 1999
  
  Internet RFC 2693
  
  PDF Publication
- Computer Systems Research: Past and Future
  
  Butler Lampson
  
  October 1998
  
  The Strachey Lectures in Computing Science, University of Oxford
  
  PDF Author's Version
- SDSI – A Simple Distributed Security Infrastructure
  
  Butler Lampson, Ronald L. Rivest
  
  October 1996
  
  PDF
- Understanding Network Connections
  
  Butler Lampson
  
  October 1995
  
  PDF Publication
- Security
  
  Butler Lampson
  
  January 2005
  
  PDF Author's Version
- Revisiting the Paxos Algorithm
  
  Roberto de Prisco, Butler Lampson, Nancy Lynch
  
  Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91
  
  A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
  
  PDF DOI
- IP Lookups using Multiway and Multicolumn Search
  
  Butler Lampson, V. Srinivasan, G. Varghese
  
  IEEE/ACM Transactions on Networking | June 1999, Vol 7(3): pp. 324-334
  
  An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
  
  PDF DOI Publication DOI Author's Version
- Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve
  
  David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
  
  Computer Networks and ISDN Systems | October 1996, Vol 28(13): pp. 1769-1790
  
  PDF Publication DOI
- Authentication in Distributed Systems: Theory and Practice
  
  Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
  
  ACM Transactions on Computer Systems | November 1992, Vol 10: pp. 265-310
  
  Publication Publication Publication
- A terminal-oriented communication system
  
  Paul Heckel, Butler Lampson
  
  Communications of the ACM | July 1977, Vol 20(7): pp. 486-494
  
  PDF DOI
- Making Untrusted Code Useful
  
  Butler Lampson
  
  Communications of the ACM | November 2011, Vol 54(11): pp. 92-92
  
  PDF DOI
- Usable Security: How to Get It
  
  Butler Lampson
  
  Communications of the ACM | November 2009, Vol 52(11): pp. 25-27
  
  PDF DOI
- Computer Security in the Real World (IEEE Computer)
  
  IEEE Computer | June 2004, Vol 37(6): pp. 37-46
  
  The author's version is an earlier, expanded version.
  
  PDF Author's Version DOI
- The Ongoing Computer Revolution
  
  Butler Lampson
  
  The Bridge | June 2004, Vol 34(2): pp. 39-40
  
  This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
  
  PDF Author's Version Publication
- A Trusted Open Platform
  
  Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
  
  IEEE Computer | July 2003, Vol 36(7): pp. 55-62
  
  PDF DOI
- Computing Meets the Physical World
  
  Butler Lampson
  
  The Bridge | April 2003, Vol 33(1): pp. 4-7
  
  PDF Publication
- Getting Computers to Understand
  
  Butler Lampson
  
  Journal of the ACM | January 2003, Vol 50(1): pp. 70-72
  
  PDF DOI
- A User Machine in a Time-Sharing System
  
  Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
  
  Proceedings of the IEEE | December 1966, Vol 54(12): pp. 1766-1774
  
  Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
  
  PDF Publication Publication DOI
- A Distributed Systems Architecture for the 1990’s
  
  Andrew Birrell, Butler Lampson, Mike Schroeder
  
  | December 1989
  
  Publié par Digital Equipment Corp. Systems Research Center
  
  PDF Publication
- Principles of Computer Systems (course notes)
  
  2006 course notes | February 2006
  
  Publié par MIT
  
  Lecture notes for the 2006 version of the course.
  
  PDF Publication

Butler Lampson

Publications

Programming Concurrent Systems

Hints and Principles for Computer System Design

Perspectives on Security (slides)

Bulk Collection of Signals Intelligence: Technical Options

Retroactive security (slides)

A Colorful Approach to Text Processing by Example

A Machine Learning Framework for Programming by Example

Textual Features for Programming by Example

What Computers Do: Model, Connect, Engage

Making Untrusted Code Useful

Declarative programming: The light at the end of the tunnel

Usable Security: How to Get It

Lazy and Speculative Execution in Computer Systems

Practical Principles for Computer Security

Principles of Computer Systems (course notes)

Getting Up To Speed: The Future of Supercomputing

Security

Computer Security in the Real World (IEEE Computer)

The Ongoing Computer Revolution

A Conceptual Authorization Model for Web Services

Software Components: Only The Giants Survive

A Trusted Open Platform

Computing Meets the Physical World

Getting Computers to Understand

The ABCDs of Paxos

Computer Security in the Real World

Revisiting the Paxos Algorithm

Information Systems Security

SPKI Certificate Theory

IP Lookups using Multiway and Multicolumn Search

Computer Systems Research: Past and Future

How to Build a Highly Available System Using Consensus

SDSI – A Simple Distributed Security Infrastructure

Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve

Understanding Network Connections

Implementing Coherent Memory

A New Presumed Commit Optimization for Two Phase Commit

Reliable Messages and Connection Establishment

Authentication in Distributed Systems: Theory and Practice

On-line Data Compression in a Log-structured File System

A Distributed Systems Architecture for the 1990’s

Designing a Global Name Service

A Global Authentication Service without Global Trust

Current work on authentication

A kernel language for modules and abstract data types

Hints for Computer System Design

Organizing software in a distributed environment

A Processor for a High-Performance Personal Computer

An Open Operating System for a Single-User Machine

A terminal-oriented communication system

Storage allocation in typed languages

Redundancy and robustness in memory protection

Alto OS Design Notes

Teaching of computer design to computer science undergraduates.

A User Machine in a Time-Sharing System

Information Systems Security

IP Lookups using Multiway and Multicolumn Search

Computer Systems Research: Past and Future

How to Build a Highly Available System Using Consensus

Virtual Infrastructure: Putting Information Infrastructure on the Technology Curve

Understanding Network Connections

Implementing Coherent Memory

Reliable Messages and Connection Establishment

On-line Data Compression in a Log-structured File System

A Distributed Systems Architecture for the 1990’s

Designing a Global Name Service

A Global Authentication Service without Global Trust

Current work on authentication

Hints for Computer System Design

A Processor for a High-Performance Personal Computer

An Open Operating System for a Single-User Machine

Programming Concurrent Systems

Hints and Principles for Computer System Design

Perspectives on Security (slides)

What Computers Do: Model, Connect, Engage

Making Untrusted Code Useful

Lazy and Speculative Execution in Computer Systems

Principles of Computer Systems (course notes)