Search results
Password authentication with insecure communication. L Lamport. Communications of the ACM 24 (11), 770-772. , 1981. 4037. 1981. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691.
5 days ago · 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.
Leslie Lamport, American computer scientist who received the 2013 Turing Award for his work explaining and formulating the behavior of distributed computing systems (i.e., systems made up of multiple autonomous computers that communicate by exchanging messages with one another). Learn more about his life and work.
Mar 18, 2014 · Lamport, 73, becomes the fifth scientist from Microsoft Research to have won the Turing Award, joining previous recipients Tony Hoare (1980), Lampson, Jim Gray (1998), and Chuck Thacker (2009). But despite more than 40 years of nonpareil achievements, Lamport’s self-assessment is not quite so glowing.
Mar 2, 2024 · Leslie Lamport. Last modified on Fri 1 March 2024 at 16:38:51 PST by lamport -->. This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.
Mar 6, 2024 · Leslie Lamport was born in New York City in 1941. Over a career spanning five decades, Lamport has made multiple groundbreaking contributions to the theory and practice of distributed and concurrent computing systems, insights that have dramatically improved the performance and reliability of such systems.
Leslie Lamport. United States – 2013. CITATION. For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency. Short Annotated. Bibliography. ACM Turing Award.
