Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
1:48:39
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.
1:16:16
Avi Wigderson Turing Award Lecture: “Alan Turing: A TCS Role Model”
52:58
Lecture 22 - Leslie Lamport on Writing Papers
59:50
Leslie Lamport: Thinking Above the Code
22:46
A Conversation with Turing Award Winner Leslie Lamport
1:00:28
Designing for Understandability: The Raft Consensus Algorithm
1:01:40
A Philosophy of Software Design | John Ousterhout | Talks at Google
7:27