Programming Concurrent Systems
Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | ACM による投稿 | 2022
ISBN: ISBN: 978-1-4503-9774-2
Tribute volume for Edsger Dijkstra
Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | ACM による投稿 | 2022
ISBN: ISBN: 978-1-4503-9774-2
Tribute volume for Edsger Dijkstra
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.
25th ACM Symposium on Operating Systems Principles | October 2015
Slides
Published by National Academy Press | September 2015
編集者: Alan Shaw
ISBN: 978-0-309-32520-2
Fred Schneider's 60th birthday celebration | December 2013
Slides
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
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
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
9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
編集者: Manindra Agrawal, S. Barry Cooper, Angsheng Li
Communications of the ACM | November 2011, 巻54(11): pp. 92-92
Points of View: A Tribute to Alan Kay | Viewpoints Research Institute による投稿 | 2010
ISBN: 978-0974313115
Communications of the ACM | November 2009, 巻52(11): pp. 25-27
13th International Conference on Functional Programming (ICFP '08) | September 2008
NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
Proceedings of the 2006 Marktoberdorf Summer school.
2006 course notes | February 2006
MIT による投稿
Lecture notes for the 2006 version of the course.
Published by National Academies Press | May 2005
編集者: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
ISBN: 978-0-309-09502-0
January 2005
IEEE Computer | June 2004, 巻37(6): pp. 37-46
The author's version is an earlier, expanded version.
The Bridge | June 2004, 巻34(2): pp. 39-40
This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
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 | Springer による投稿 | 2004
ISBN: 978-0-387-21821-2
This paper was written for a symposium in honor of Roger Needham, February 2003
Computer Systems: Theory, Technology, and Applications | 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.
Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
IEEE Computer | July 2003, 巻36(7): pp. 55-62
The Bridge | April 2003, 巻33(1): pp. 4-7
Journal of the ACM | January 2003, 巻50(1): pp. 70-72
Principles of Distributed Computing | August 2001
Annual Computer Security Applications Conference | December 2000
ISBN 0-7695-0859-6. Slides
Roberto de Prisco, Butler Lampson, Nancy Lynch
Theoretical Computer Science | July 2000, 巻243(1): pp. 35-91
A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
Thomas Berson, Richard Kemmerer, Butler Lampson
Realizing the Potential of C4I: Fundamental Challenges, 3 | National Academy Press による投稿 | 1999
ISBN: 978-0-309-06485-9
Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
September 1999
Internet RFC 2693
Butler Lampson, V. Srinivasan, G. Varghese
IEEE/ACM Transactions on Networking | June 1999, 巻7(3): pp. 324-334
An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
October 1998
The Strachey Lectures in Computing Science, University of Oxford
10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
編集者: Ozalp Babaoglu and Keith Marzullo
The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
Butler Lampson, Ronald L. Rivest
October 1996
David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
Computer Networks and ISDN Systems | October 1996, 巻28(13): pp. 1769-1790
October 1995
A Classical Mind: Essays in Honour of C.A.R. Hoare | Prentice-Hall による投稿 | 1994
ISBN: 978-0132948449
Butler Lampson, David Lomet
19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
ISBN 1-55860-152-X
Distributed Systems, ed. S.Mullender | ACM Press/Addison-Wesley による投稿 | 1993 | 2 edition
ISBN: 978-0-201-62427-4
Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
ACM Transactions on Computer Systems | November 1992, 巻10: pp. 265-310
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)
Andrew Birrell, Butler Lampson, Mike Schroeder
| December 1989
Digital Equipment Corp. Systems Research Center による投稿
4th ACM Symposium on Principles of Distributed Computing | August 1986
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
Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
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
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
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
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).
Butler Lampson, Robert F. Sproull
7th ACM Symposium on Operating Systems Principles | December 1979
編集者: 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.
Paul Heckel, Butler Lampson
Communications of the ACM | July 1977, 巻20(7): pp. 486-494
Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
Proc. IFIP Cong | January 1974
February 1973
The Teaching of Computer Design | September 1971
Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
Proceedings of the IEEE | December 1966, 巻54(12): pp. 1766-1774
Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
Thomas Berson, Richard Kemmerer, Butler Lampson
Realizing the Potential of C4I: Fundamental Challenges, 3 | National Academy Press による投稿 | 1999
ISBN: 978-0-309-06485-9
Butler Lampson, V. Srinivasan, G. Varghese
IEEE/ACM Transactions on Networking | June 1999, 巻7(3): pp. 324-334
An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
October 1998
The Strachey Lectures in Computing Science, University of Oxford
10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
編集者: Ozalp Babaoglu and Keith Marzullo
The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
Computer Networks and ISDN Systems | October 1996, 巻28(13): pp. 1769-1790
October 1995
A Classical Mind: Essays in Honour of C.A.R. Hoare | Prentice-Hall による投稿 | 1994
ISBN: 978-0132948449
Distributed Systems, ed. S.Mullender | ACM Press/Addison-Wesley による投稿 | 1993 | 2 edition
ISBN: 978-0-201-62427-4
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)
Andrew Birrell, Butler Lampson, Mike Schroeder
| December 1989
Digital Equipment Corp. Systems Research Center による投稿
4th ACM Symposium on Principles of Distributed Computing | August 1986
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
Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
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
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).
Butler Lampson, Robert F. Sproull
7th ACM Symposium on Operating Systems Principles | December 1979
編集者: 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.
Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | ACM による投稿 | 2022
ISBN: ISBN: 978-1-4503-9774-2
Tribute volume for Edsger Dijkstra
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.
25th ACM Symposium on Operating Systems Principles | October 2015
Slides
9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
編集者: Manindra Agrawal, S. Barry Cooper, Angsheng Li
Communications of the ACM | November 2011, 巻54(11): pp. 92-92
13th International Conference on Functional Programming (ICFP '08) | September 2008
2006 course notes | February 2006
MIT による投稿
Lecture notes for the 2006 version of the course.
Published by National Academies Press | May 2005
編集者: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
ISBN: 978-0-309-09502-0
January 2005
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 | Springer による投稿 | 2004
ISBN: 978-0-387-21821-2
This paper was written for a symposium in honor of Roger Needham, February 2003
Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
IEEE Computer | July 2003, 巻36(7): pp. 55-62
The Bridge | April 2003, 巻33(1): pp. 4-7
Journal of the ACM | January 2003, 巻50(1): pp. 70-72
Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
Proceedings of the IEEE | December 1966, 巻54(12): pp. 1766-1774
Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
Annual Computer Security Applications Conference | December 2000
ISBN 0-7695-0859-6. Slides
Thomas Berson, Richard Kemmerer, Butler Lampson
Realizing the Potential of C4I: Fundamental Challenges, 3 | National Academy Press による投稿 | 1999
ISBN: 978-0-309-06485-9
Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
September 1999
Internet RFC 2693
Butler Lampson, Ronald L. Rivest
October 1996
Andrew Birrell, Butler Lampson, Mike Schroeder
| December 1989
Digital Equipment Corp. Systems Research Center による投稿
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
25th ACM Symposium on Operating Systems Principles | October 2015
Slides
Published by National Academy Press | September 2015
編集者: Alan Shaw
ISBN: 978-0-309-32520-2
Fred Schneider's 60th birthday celebration | December 2013
Slides
Communications of the ACM | November 2009, 巻52(11): pp. 25-27
NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
Proceedings of the 2006 Marktoberdorf Summer school.
January 2005
IEEE Computer | June 2004, 巻37(6): pp. 37-46
The author's version is an earlier, expanded version.
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 | Springer による投稿 | 2004
ISBN: 978-0-387-21821-2
This paper was written for a symposium in honor of Roger Needham, February 2003
Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
IEEE Computer | July 2003, 巻36(7): pp. 55-62
Principles of Distributed Computing | August 2001
February 1973
October 1998
The Strachey Lectures in Computing Science, University of Oxford
10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
編集者: Ozalp Babaoglu and Keith Marzullo
The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
Butler Lampson, David Lomet
19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
ISBN 1-55860-152-X
Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
ACM Transactions on Computer Systems | November 1992, 巻10: pp. 265-310
Andrew Birrell, Butler Lampson, Mike Schroeder
| December 1989
Digital Equipment Corp. Systems Research Center による投稿
The Teaching of Computer Design | September 1971
4th ACM Symposium on Principles of Distributed Computing | August 1986
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
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
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
Paul Heckel, Butler Lampson
Communications of the ACM | July 1977, 巻20(7): pp. 486-494
Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
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
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
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
Points of View: A Tribute to Alan Kay | Viewpoints Research Institute による投稿 | 2010
ISBN: 978-0974313115
Proc. IFIP Cong | January 1974
13th International Conference on Functional Programming (ICFP '08) | September 2008
Computer Systems: Theory, Technology, and Applications | 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.
Journal of the ACM | January 2003, 巻50(1): pp. 70-72
Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
Proceedings of the IEEE | December 1966, 巻54(12): pp. 1766-1774
Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
October 1998
The Strachey Lectures in Computing Science, University of Oxford
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
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).
Published by National Academies Press | May 2005
編集者: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
ISBN: 978-0-309-09502-0
The Bridge | June 2004, 巻34(2): pp. 39-40
This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
The Bridge | April 2003, 巻33(1): pp. 4-7
The Bridge | June 2004, 巻34(2): pp. 39-40
This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
Journal of the ACM | January 2003, 巻50(1): pp. 70-72
Roberto de Prisco, Butler Lampson, Nancy Lynch
Theoretical Computer Science | July 2000, 巻243(1): pp. 35-91
A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
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)
David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
Computer Networks and ISDN Systems | October 1996, 巻28(13): pp. 1769-1790
Butler Lampson, David Lomet
19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
ISBN 1-55860-152-X
Thomas Berson, Richard Kemmerer, Butler Lampson
Realizing the Potential of C4I: Fundamental Challenges, 3 | National Academy Press による投稿 | 1999
ISBN: 978-0-309-06485-9
A Classical Mind: Essays in Honour of C.A.R. Hoare | Prentice-Hall による投稿 | 1994
ISBN: 978-0132948449
Distributed Systems, ed. S.Mullender | ACM Press/Addison-Wesley による投稿 | 1993 | 2 edition
ISBN: 978-0-201-62427-4
Edsger Wybe Dijkstra: His Life, Work, and Legacy, 3 | ACM による投稿 | 2022
ISBN: ISBN: 978-1-4503-9774-2
Tribute volume for Edsger Dijkstra
Points of View: A Tribute to Alan Kay | Viewpoints Research Institute による投稿 | 2010
ISBN: 978-0974313115
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 | Springer による投稿 | 2004
ISBN: 978-0-387-21821-2
This paper was written for a symposium in honor of Roger Needham, February 2003
Computer Systems: Theory, Technology, and Applications | 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.
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.
Published by National Academy Press | September 2015
編集者: Alan Shaw
ISBN: 978-0-309-32520-2
Published by National Academies Press | May 2005
編集者: Susan L. Graham, Marc Snir, and Cynthia A. Patterson
ISBN: 978-0-309-09502-0
Principles of Distributed Computing | August 2001
Annual Computer Security Applications Conference | December 2000
ISBN 0-7695-0859-6. Slides
10th International Workshop on Distributed Algorithms (WDAG 1996) | October 1996
編集者: Ozalp Babaoglu and Keith Marzullo
The proceedings are: Distributed Algorithms, Lecture Notes in Computer Science 1151, Springer, 1996.
Butler Lampson, David Lomet
19th International Conference on Very Large Data Bases (VLDB '93) | August 1993
ISBN 1-55860-152-X
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)
The Teaching of Computer Design | September 1971
4th ACM Symposium on Principles of Distributed Computing | August 1986
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
Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder
ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986
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
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
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
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).
Butler Lampson, Robert F. Sproull
7th ACM Symposium on Operating Systems Principles | December 1979
編集者: 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.
Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
25th ACM Symposium on Operating Systems Principles | October 2015
Slides
Fred Schneider's 60th birthday celebration | December 2013
Slides
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
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
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
9th Conference on the Theory and Applications of Models of Computation (TAMC 2012) | May 2012
編集者: Manindra Agrawal, S. Barry Cooper, Angsheng Li
Proc. IFIP Cong | January 1974
13th International Conference on Functional Programming (ICFP '08) | September 2008
NATO Security through Science Series - D: Information and Communication Security, Software System Reliability and Security | January 2007
Proceedings of the 2006 Marktoberdorf Summer school.
February 1973
Carl Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian Thomas, Tatu Ylonen
September 1999
Internet RFC 2693
October 1998
The Strachey Lectures in Computing Science, University of Oxford
Butler Lampson, Ronald L. Rivest
October 1996
October 1995
January 2005
Roberto de Prisco, Butler Lampson, Nancy Lynch
Theoretical Computer Science | July 2000, 巻243(1): pp. 35-91
A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125
Butler Lampson, V. Srinivasan, G. Varghese
IEEE/ACM Transactions on Networking | June 1999, 巻7(3): pp. 324-334
An earlier version appeared in Infocom 98, April 1998, pp 1248-1256.
David Tennenhouse, Butler Lampson, Sharon Gillett, Jennifer S. Klein
Computer Networks and ISDN Systems | October 1996, 巻28(13): pp. 1769-1790
Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber
ACM Transactions on Computer Systems | November 1992, 巻10: pp. 265-310
Paul Heckel, Butler Lampson
Communications of the ACM | July 1977, 巻20(7): pp. 486-494
Communications of the ACM | November 2011, 巻54(11): pp. 92-92
Communications of the ACM | November 2009, 巻52(11): pp. 25-27
IEEE Computer | June 2004, 巻37(6): pp. 37-46
The author's version is an earlier, expanded version.
The Bridge | June 2004, 巻34(2): pp. 39-40
This is the transcript of a talk given at the Draper Prize ceremony, February 2004.
Paul England, Butler Lampson, John Manferdelli, Marcus Peinado, Bryan Willman
IEEE Computer | July 2003, 巻36(7): pp. 55-62
The Bridge | April 2003, 巻33(1): pp. 4-7
Journal of the ACM | January 2003, 巻50(1): pp. 70-72
Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
Proceedings of the IEEE | December 1966, 巻54(12): pp. 1766-1774
Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
Andrew Birrell, Butler Lampson, Mike Schroeder
| December 1989
Digital Equipment Corp. Systems Research Center による投稿
2006 course notes | February 2006
MIT による投稿
Lecture notes for the 2006 version of the course.