Oral History of Leslie Lamport - Part 1
Interviewed by Roy Levin on 2016-08-12 in Mountain View CA, X7884.2017
© Computer History Museum
Leslie Lamport pioneered many of the foundational principles of distributed computing. In this two-part interview, he discusses his early interest in mathematics, physics, and computing, and the interplay of these subjects that has continued throughout his long career. He provides the context for some of his most famous work, including the Bakery Algorithm, his seminal paper on the use of state machines to maintain coherence in a distributed system, his Paxos distributed agreement protocol, and his techniques for specifying algorithms and verifying their correctness. In several cases, the importance of these ideas was not recognized widely for years – sometimes decades – after they were published, but they have become fundamental to modern distributed computing systems.
In this interview, Lamport also comments on the opportunities for technical impact that he found by working in corporate research labs while collaborating with colleagues in universities. He talks about the cultures of labs at SRI, Digital Equipment Corporation, and Microsoft that provided the stimulation for his influential ideas and creations.
* Note: Transcripts represent what was said in the interview. However, to enhance meaning or add clarification, interviewees have the opportunity to modify this text afterward. This may result in discrepancies between the transcript and the video. Please refer to the transcript for further information - http://www.computerhistory.org/collections/catalog/102717182
Visit computerhistory.org/collections/oralhistories/ for more information about the Computer History Museum's Oral History Collection.
Lot Number: X7884.2017
Catalog Number: 102717183
Видео Oral History of Leslie Lamport - Part 1 канала Computer History Museum
© Computer History Museum
Leslie Lamport pioneered many of the foundational principles of distributed computing. In this two-part interview, he discusses his early interest in mathematics, physics, and computing, and the interplay of these subjects that has continued throughout his long career. He provides the context for some of his most famous work, including the Bakery Algorithm, his seminal paper on the use of state machines to maintain coherence in a distributed system, his Paxos distributed agreement protocol, and his techniques for specifying algorithms and verifying their correctness. In several cases, the importance of these ideas was not recognized widely for years – sometimes decades – after they were published, but they have become fundamental to modern distributed computing systems.
In this interview, Lamport also comments on the opportunities for technical impact that he found by working in corporate research labs while collaborating with colleagues in universities. He talks about the cultures of labs at SRI, Digital Equipment Corporation, and Microsoft that provided the stimulation for his influential ideas and creations.
* Note: Transcripts represent what was said in the interview. However, to enhance meaning or add clarification, interviewees have the opportunity to modify this text afterward. This may result in discrepancies between the transcript and the video. Please refer to the transcript for further information - http://www.computerhistory.org/collections/catalog/102717182
Visit computerhistory.org/collections/oralhistories/ for more information about the Computer History Museum's Oral History Collection.
Lot Number: X7884.2017
Catalog Number: 102717183
Видео Oral History of Leslie Lamport - Part 1 канала Computer History Museum
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
SD Forum : Grady Booch on The Limits of Software ParcWhite Rabbit: Interview with Bill Duvall, Doug Engelbart, and Bill EnglishOral History of William Carrico Jr. Part 2PLATO@50: Innovations in HardwareCHM Revolutionaries: SRI's Curt Carlson and Bill Mark in Conversation with John MarkoffProgramming the System of the World: The Industrial Internet of ThingsPhillip Moorby—2016 CHM FellowLegacy of Gary Kildall: The CP/M IEEE Milestone DedicationOral History of Regis McKenna, part 1 of 8Technology Legend: Honoring Douglas EngelbartOral History of Liz CrewsOral History of Aaron Marcus2019 Fellows Awards: ceremonyIntel 4004 / MCS-4 50th Anniversary Celebration2022 Fellow Award CeremonyCHM Live | Quantum QuestionsCache-Coherent Multiprocessors, lecture by Forest BaskettIEEE Milestone Dedication: SHAKEY, The First Robot with Artificial Intelligence (1966-1972)Oral History of John L. HennessyOral History of David HamptonCHM Live | Technically Speaking | Minitel: The Web before the Web