A.M. TURING AWARD WINNERS BY...

VIDEO

View a video by Microsoft Research on Leslie Lamport's work and read his 1978 paper, "Time, Clocks, and the Ordering of Events in a Distributed System," one of the most cited in the history of computer science.

In a second video, in his own voice for the June 2014 issue of Communications of the ACM, Lamport asserts that the best logic for stating things clearly is mathematics, a concept, he notes, that some find controversial. Assessing his body of work, he concludes that he created a path that others have followed to places well beyond his imagination.


Leslie Lamport

United States – 2013
Short Annotated Bibliography
  1. L. Lamport, "My Writings" 4 Feb 2014. http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html.
  2. Microsoft Corporation, "Leslie Lamport Receives Turing Award" 18 March 2014. http://research.microsoft.com/en-us/news/features/lamport-031814.aspx.
  3. E. Dijkstra, "Solution of a Problem in Concurrent Programming Control" Communications of the ACM, vol. 8, no. 9, p. 569, September 1965.
  4. L. Lamport, "A New Solution of Dijkstra's Concurrent Programming Problem" Communications of the ACM, vol. 18, no. 8, pp. 453-455, August 1974.
  5. M. Herlihy, "Wait-Free Synchronization" ACM Transactions on Programming Languages and Systems, vol. 11, no. 1, pp. 124-149, January 1991.
  6. L. Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs" IEEE Transactions on Computers, Vols. C-28, no. 9, pp. 690-691, 1979.
  7. L. Lamport, "On Interprocess Communication, parts I and II" Distributed Computing, vol. 1, no. 2, pp. 77-101, 1986.
  8. M. Herlihy and J. Wing, "Linearizability: A Correctness Condition for Concurrent Objects" ACM Transactions on Programming Languages and Systems, vol. 12, no. 3, pp. 463-492, July 1990.
  9. L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System" Communications of the ACM, vol. 21, no. 7, pp. 558-565, July 1978.
  10. P. Johnson and R. Thomas, "The Maintenance of Duplicate Databases" Network Working Group, RFC 677, 1975.
  11. L. Lamport and M. Chandy, "Distributed Snapshots: Determining Global States of a Distributed System" ACM Transactions on Computer Systems, vol. 3, no. 1, pp. 63-75, Feburary 1985.
  12. L. Lamport, "The Implementation of Reliable Distributed Multiprocess Systems" Computer Networks, vol. 2, pp. 95-114, 1978.
  13. L. Lamport, M. Pease and R. Shostak, "Reaching Agreement in the Presence of Faults" Journal of the ACM, vol. 27, no. 2, pp. 228-234, 1980.
  14. L. Lamport, M. Pease and R. Shostak, "The Byzantine Generals Problem" ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, pp. 382-401, July 1982.
  15. E. A. Akkoyunlu, K. Ekanadham and R. V. Hubert, "Some constraints and tradeoffs in the design of network communications" in ACM Symposium on Operating Systems Principles, 1975.
  16. J. Gray, "Notes on Database Operating Systems" in Operating Systems, an Advanced Course, Springer-Verlag, 1978, pp. 393-481.
  17. L. Lamport, "The Part-Time Parliament" Digital Equipment Corporation Systems Research Center, 1989.
  18. L. Lamport, "The Part-Time Parliament" ACM Transactions on Computer Systems, pp. 133-169, May 1998.
  19. B. Lampson, "How to Build a Highly Available System Using Consensus" in Distributed Algorithms, Springer, 1996, pp. 1-17.
  20. T. Chandra, R. Griesemer and J. Redstone, "Paxos Made Live - An Engineering Perspective" Principles of Distributed Computing, 2007.
  21. M. Abadi and L. Lamport, "The Existence of Refinement Mappings" Theoretical Computer Science, vol. 82, no. 2, pp. 253-284, 1991.
  22. L. Lamport, Specifying Systems: the TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, 2002.
  23. "LaTeX - A document preparation system" http://latex-project.org.
  24. "TeX" http://en.wikipedia.org/wiki/TeX.