Answered from Barbara Liskov (Turing Award): How the Liskov Substitution Principle Got Its Name · Ryan Peterman · 2026-10-28
Barbara Liskov recounts Leslie Lamport's own explanation: he went around giving the talks while she implemented the protocol. She agrees there is something to that, since Lamport gave many talks and wrote several papers on Paxos. Ryan Peterman adds that Paxos is a catchy name, and Liskov agrees it is a cute one.
“So what Leslie says is, I went around giving all the talks and she implemented it.” Barbara Liskov · at 8:40 — open in the transcript →
Source: our own transcription of the episode. The full conversation is on Ryan Peterman (2026-10-28). Read the whole episode summary →