Search results
by Lawrence Goodman. In the late 1980s, computer scientist Leslie Lamport, MA’63, PhD’72, H’17, decided the best way to explain his latest theory was to make up a story about Paxos, a small island in Greece. During ancient times, Paxos was a busy commercial center with a flourishing democracy, Lamport wrote in an academic paper.
Apr 29, 2024 · Leslie Lamport. Last modified 29 April 2024. This document is a sort of scientific autobiography. It not only lists the papers I have written, but also describes them and explains how I came to write some of them. I have included almost all my technical papers and electronic versions of many of them for downloading.
Nov 30, 2018 · Peter Ladkin, Leslie Lamport, Bryan Olivier, and Denis Roegel 8 February 1999 We address the problem, proposed by Gerth, of verifying that the simplified version of the lazy caching algorithm of Afek, Brown, and Merritt, described informally in Verifying Sequential Consistent Memory Problem Definition Rob Gerth April 1993
Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where...
- 8 min
- 2.7M
- Quanta Magazine
Leslie B. Lamport is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.
Mar 2, 2024 · The preliminary draft of A Science of Concurrent Programs by Leslie Lamport has been extensively revised. It is now the current version, available here. Draft of New TLA Book [2 January 2024] A preliminary draft of a new book tentatively titled A Science of Concurrent Programs by Leslie Lamport is available here. The book explains the ...