Leslie Lamport
Affiliations: Microsoft Research, Mountain View
According to our database^{1},
Leslie Lamport
authored at least 157 papers
between 1970 and 2022.
Collaborative distances:
Collaborative distances:
Awards
Turing Prize recipient
Turing Prize 2013, "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.".
ACM Fellow
ACM Fellow 2014, "For contributions to the theory and practice of distributed and concurrent systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on scopus.com

on viaf.org

on id.loc.gov

on dnb.info

on lamport.org

on isni.org

on andrej.com

on dl.acm.org
On csauthors.net:
Bibliography
2022
ACM Trans. Program. Lang. Syst., 2022
CoRR, 2022
Commun. ACM, 2022
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022
2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2019
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
How to make a multiprocessor computer that correctly executes multiprocess programs.
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019
2018
Bull. EATCS, 2018
2017
CoRR, 2017
CoRR, 2017
2015
Commun. ACM, 2015
Commun. ACM, 2015
2014
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014
Proceedings of the Automated Reasoning in Quantified NonClassical Logics, 2014
2013
Proceedings of the Distributed Computing  27th International Symposium, 2013
2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Int. J. Softw. Informatics, 2011
Proceedings of the Distributed Computing  25th International Symposium, 2011
Proceedings of the Distributed Computing  25th International Symposium, 2011
2010
SIGACT News, 2010
Distributed Comput., 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
Proceedings of the Concurrency, 2010
2009
SIGACT News, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
TLA+: Whence, Wherefore, and Whither.
Proceedings of the First NASA Formal Methods Symposium, 2009
Proceedings of the Theoretical Aspects of Computing, 2009
2008
Distributed Comput., 2008
Proceedings of the LPAR 2008 Workshops, 2008
2007
J. Log. Algebraic Methods Program., 2007
DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems.
Proceedings of the Distributed Computing, 21st International Symposium, 2007
2006
ACM Trans. Database Syst., 2006
Distributed Comput., 2006
Distributed Comput., 2006
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Recent Discoveries from Paxos.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
Formal Methods Syst. Des., 2003
Distributed Comput., 2003
Distributed Comput., 2003
2002
Proceedings of the 10th ACM SIGOPS European Workshop, SaintEmilion, France, July 1, 2002, 2002
Paxos Made Simple, Fast, and Byzantine.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers
AddisonWesley, ISBN: 032114306X, 2002
2000
Inf. Process. Lett., 2000
Distributed Comput., 2000
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000
1999
ACM Trans. Program. Lang. Syst., 1999
Distributed Comput., 1999
Proceedings of the FM'99  Formal Methods, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
1998
ACM Trans. Comput. Syst., 1998
Theor. Comput. Sci., 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Theor. Comput. Sci., 1997
IEEE Trans. Computers, 1997
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997
1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
1995
IEEE Trans. Software Eng., 1995
ACM Trans. Program. Lang. Syst., 1995
Das LaTeXHandbuch.
AddisonWesley, ISBN: 9783893198269, 1995
1994
ACM Trans. Program. Lang. Syst., 1994
ACM Trans. Program. Lang. Syst., 1994
Formal Aspects Comput., 1994
Proceedings of the Z User Workshop, Cambridge, UK, 2930 June 1994, Proceedings, 1994
Decomposing Specifications of Concurrent Systems.
Proceedings of the Programming Concepts, 1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
How good is your specification method?
Proceedings of the Formal Description Techniques VII, 1994
Proceedings of the Formal Systems Specification, 1994
Proceedings of the Formal Systems Specification, 1994
LaTeX  A Document Preparation System: User's Guide and Reference Manual, Second Edition.
Pearson / Prentice Hall, ISBN: 9780201529838, 1994
1993
ACM Trans. Program. Lang. Syst., 1993
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Distributed Comput., 1992
Proceedings of the Hybrid Systems, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Theor. Comput. Sci., 1991
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".
Inf. Process. Lett., 1991
Proceedings of the RealTime: Theory in Practice, 1991
1990
<i>win</i> and <i>sin</i>: Predicate Transformers for Concurrency.
ACM Trans. Program. Lang. Syst., 1990
ACM Trans. Comput. Syst., 1990
Distributed Comput., 1990
Proceedings of the Handbook of Theoretical Computer Science, 1990
1989
Commun. ACM, 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
1988
Control Predicates are Better than Dummy Variables for Reasoning about Program Control.
ACM Trans. Program. Lang. Syst., 1988
ACM SIGSOFT Softw. Eng. Notes, 1988
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract).
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
ACM Trans. Comput. Syst., 1987
1986
ACM SIGOPS Oper. Syst. Rev., 1986
J. ACM, 1986
J. ACM, 1986
Distributed Comput., 1986
Distributed Comput., 1986
LaTeX: User's Guide & Reference Manual
AddisonWesley, ISBN: 020115790X, 1986
1985
J. ACM, January, 1985
ACM Trans. Comput. Syst., 1985
ACM SIGOPS Oper. Syst. Rev., 1985
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
1984
ACM Trans. Program. Lang. Syst., 1984
ACM Trans. Program. Lang. Syst., 1984
Solved Problems, Unsolved Problems and NonProblems in Concurrency (Invited Address).
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984
Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984
Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984
1983
J. ACM, July, 1983
ACM Trans. Program. Lang. Syst., 1983
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983
What Good is Temporal Logic?
Proceedings of the Information Processing 83, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1982
ACM Trans. Program. Lang. Syst., 1982
ACM Trans. Program. Lang. Syst., 1982
Sci. Comput. Program., 1982
1981
Commun. ACM, 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
1980
J. ACM, 1980
Acta Informatica, 1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
ACM Trans. Program. Lang. Syst., 1979
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs.
IEEE Trans. Computers, 1979
ACM SIGPLAN Notices, 1979
Commun. ACM, 1979
1978
ACM SIGSOFT Softw. Eng. Notes, 1978
Comput. Networks, 1978
Commun. ACM, 1978
Commun. ACM, 1978
Proceedings of the Mathematical Studies of Information Processing, 1978
1977
IEEE Trans. Software Eng., 1977
Commun. ACM, 1977
1976
Inf. Process. Lett., 1976
Acta Informatica, 1976
1975
Commun. ACM, 1975
Proceedings of the Conference on Programming Languages and Compilers for Parallel and Vector Machines 1975, 1975
1974
Commun. ACM, 1974
Commun. ACM, 1974
Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974
1970
Commun. ACM, 1970