Lamport on the origins of Paxos

(8:3)

Lamport on writing \

(7:27)

Lamport on discovering the Bakery Algorithm

(3:57)

Lamport on Temporal Logic of Actions and refinement mapping

(6:50)

Episode 203: Leslie Lamport on Distributed Systems

(48:55)

Lamport on Byzantine Generals and Byzantine Failures

(5:6)

React San Fran 2014 : Leslie Lamport - Who Builds a Skyscraper without Drawing Blueprints?

(53:18)

Leslie Lamport, Turing Award Winner on Patientless Podcast

(42:21)

Lecture 22 - Leslie Lamport on Writing Papers

(52:58)

programming ≠ coding - Leslie Lamport

(1:15:46)

CACM June 2014 - Leslie Lamport, recipient of the 2013 ACM A.M. Turing Award

(5:59)

Leslie Lamport wants you to escape the box of computational thinking

(2:31)

A conversation with Leslie Lamport, Turing laureate

(1:13:21)

Leslie Lamport: Thinking Above the Code

(59:50)

The Man Who Revolutionized Computer Science With Math

(7:50)

Oral History of Leslie Lamport - Part 1

(3:6:49)

Stanford Seminar - Programing Should Be More Than Coding, Leslie Lamport of Microsoft Research

(1:10:55)