Leslie Lamport

Q: What Schools Are Affiliated With Leslie Lamport

Leslie Lamport is affiliated with the following schools: Massachusetts Institute of Technology, Brandeis University

Leslie Lamport's AcademicInfluence.com Rankings

Leslie Lamport

Computer Science

#63

World Rank

#65

Historical Rank

#37

USA Rank

Algorithms

World Rank

Historical Rank

USA Rank

Database

#26

World Rank

#27

Historical Rank

#15

USA Rank

computer-science Degrees

Leslie Lamport

Mathematics

#305

World Rank

#654

Historical Rank

#146

USA Rank

Measure Theory

#62

World Rank

#102

Historical Rank

#33

USA Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Leslie Lamport's Degrees

PhD Mathematics Brandeis University
Masters Mathematics Brandeis University

Why Is Leslie Lamport Influential?

(Suggest an Edit or Addition)

According to Wikipedia, 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.

(See a Problem?)

Leslie Lamport's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Time, clocks, and the ordering of events in a distributed system (1978) (9921)
The Byzantine Generals Problem (1982) (6436)
The part-time parliament (1998) (2999)
Password authentication with insecure communication (1981) (2956)
Distributed snapshots: determining global states of distributed systems (1985) (2840)
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs (1979) (2779)
Reaching Agreement in the Presence of Faults (1980) (2380)
The temporal logic of actions (1994) (2206)
Paxos Made Simple (2001) (1548)
Proving the Correctness of Multiprocess Programs (1977) (1219)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] (2002) (1021)
The existence of refinement mappings (1988) (1014)
Latex : A Document Preparation System (1985) (918)
The parallel execution of DO loops (1974) (718)
On-the-fly garbage collection: an exercise in cooperation (1975) (676)
SIFT: Design and analysis of a fault-tolerant computer for aircraft control (1978) (659)
Proving Liveness Properties of Concurrent Programs (1982) (656)
Synchronizing clocks in the presence of faults (1985) (621)
Specifying Concurrent Program Modules (1983) (619)
Composing specifications (1989) (602)
What Good is Temporal Logic? (1983) (581)
Basic Concepts (1981) (530)
Conjoining specifications (1995) (529)
A fast mutual exclusion algorithm (1987) (524)
An old-fashioned recipe for real time (1991) (506)
Fast Paxos (2006) (454)
A new solution of Dijkstra's concurrent programming problem (1974) (435)
On interprocess communication (1986) (419)
"Sometime" is sometimes "not never": on the temporal logic of programs (1980) (418)
Constructing Digital Signatures from a One Way Function (2016) (413)
Consensus on transaction commit (2004) (381)
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. (1984) (355)
On interprocess communication (1986) (306)
A simple approach to specifying concurrent systems (2016) (300)
Concurrent reading and writing (1977) (298)
Generalized Consensus and Paxos (2005) (287)
Realizable and Unrealizable Specifications of Reactive Systems (1989) (282)
The Implementation of Reliable Distributed Multiprocess Systems (1978) (275)
Model Checking TLA+ Specifications (1999) (255)
The mutual exclusion problem: part I—a theory of interprocess communication (1986) (250)
How to Write a Proof (1995) (247)
LATEX. A document preparation system. User's Guide and Reference Manual (1996) (241)
Lower bounds for asynchronous consensus (2006) (213)
The mutual exclusion problem: partII—statement and solutions (1986) (207)
Disk Paxos (2000) (191)
The Weak Byzantine Generals Problem (1983) (180)
Distributed Computing: Models and Methods (1990) (174)
Vertical paxos and primary-backup replication (2009) (157)
Hybrid Systems in TLA+ (1992) (143)
Cheap Paxos (2004) (141)
The ``Hoare Logic'' of CSP, and All That (1984) (136)
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor (1997) (133)
Reconfiguring a state machine (2010) (128)
Should your specification language be typed (1999) (126)
On Interprocess Communication-Part I: Basic Formalism, Part II: Algorithms (2016) (118)
Byzantizing Paxos by Refinement (2011) (114)
Solved problems, unsolved problems and non-problems in concurrency (1985) (110)
Real-Time Model Checking Is Really Simple (2005) (100)
Mechanical Verification of Concurrent Systems with TLA (1992) (99)
L A T E X (2nd ed.): a document preparation system: user's guide and reference manual (1994) (95)
win and sin: predicate transformers for concurrency (1990) (93)
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany (1988) (91)
Verification of a Multiplier: 64 Bits and Beyond (1993) (90)
Specifying and Verifying Fault-Tolerant Systems (1994) (90)
Verifying Safety Properties with the TLA+ Proof System (2010) (88)
A New Approach to Proving the Correctness of Multiprocess Programs (1979) (88)
The PlusCal Algorithm Language (2009) (87)
Reduction in TLA (1998) (82)
LaTeX - A Document Preparation System: User's Guide and Reference Manual, Second Edition (1994) (80)
An Assertional Correctness Proof of a Distributed Algorithm (1982) (78)
Fairness and hyperfairness (2000) (78)
The ‘Hoare logic’ of concurrent programs (1980) (78)
Pretending Atomicity (1989) (77)
Specifying Concurrent Systems with TLA (1999) (72)
How to write a 21st century proof (2012) (71)
Composition: A Way to Make Proofs Harder (1997) (67)
TLA + Proofs (2012) (66)
Byzantine clock synchronization (1984) (66)
Byzantine clock synchronization (1986) (65)
Formal Specification of a Web Services Protocol (2004) (65)
Checking Cache-Coherence Protocols with TLA+ (2003) (63)
LaTeX User''''s Guide and Document Reference Manual (1986) (60)
TLA in Pictures (1995) (58)
1983 Invited address solved problems, unsolved problems and non-problems in concurrency (1984) (55)
Synchronizing Time Servers (1987) (53)
What it means for a concurrent program to satisfy a specification: why no one has specified priority (1985) (52)
Paxos Made Simple, Fast, and Byzantine (2002) (52)
The Byzantine generals (1987) (46)
Lazy caching in TLA (1999) (40)
Concurrent reading and writing of clocks (1990) (40)
Checking a Multithreaded Algorithm with +CAL (2006) (40)
Paradigms for Distributed Programs (1984) (39)
High-Level Specifications: Lessons from Industry (2002) (39)
Stoppable Paxos (2008) (39)
The +CAL Algorithm Language (2006) (38)
Formal Foundation for Specification and Verification (1984) (34)
The TLA+ Proof System: Building a Heterogeneous Verification Platform (2010) (34)
A theorem on atomicity in distributed algorithms (1990) (34)
Verification and Specifications of Concurrent Programs (1993) (33)
Who builds a house without drawing blueprints? (2015) (32)
Control predicates are better than dummy variables for reasoning about program control (1988) (32)
How to write a long formula (1994) (31)
Specifying and verifying systems with TLA+ (2002) (31)
How fast can eventual synchrony lead to consensus? (2005) (31)
A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm (1988) (29)
LaTeX: User's Guide & Reference Manual (1986) (28)
A TLA+ Proof System (2008) (28)
A lattice-structured proof of a minimum spanning (2016) (27)
Solved Problems, Unsolved Problems and Non-Problems in Concurrency (Invited Address) (1984) (24)
Real Time is Really Simple (2005) (24)
Open systems in TLA (1994) (23)
The TLA+ Toolbox (2019) (23)
Byzantine Generals and Transaction Commit Protocols (2016) (23)
An Axiomatic Semantics of Concurrent Programming Languages (1989) (22)
Arbitration-free synchronization (2003) (21)
Reasoning about nonatomic operations (1983) (21)
Proving Possibility Properties (1998) (20)
Brief Announcement: Leaderless Byzantine Paxos (2011) (20)
Multiple byte processing with full-word instructions (1975) (19)
Constraints: a uniform approach to aliasing and typing (1985) (18)
Processes are in the Eye of the Beholder (1997) (17)
A TLA Solution to the RPC-Memory Specification Problem (2016) (17)
Computation and State Machines (2008) (17)
On the proof of correctness of a calendar program (1979) (16)
Auxiliary Variables in TLA+ (2017) (16)
The Hyperplane Method for an Array Computer (1974) (15)
On programming parallel computers (1975) (14)
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View" (1991) (13)
TIMESETS -- A New Method for Temporal Reasoning about Programs (1981) (12)
The mutual exclusion problem: part II - Statement and solutions (2019) (12)
Adaptive Register Allocation with a Linear Number of Registers (2013) (12)
Introduction to TLA (2016) (11)
Arbiter-Free Synchronization (2003) (11)
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models (1989) (11)
The synchronization of independent processes (1976) (11)
Brief Announcement: Vertical Paxos and Primary-Backup Replication (2009) (11)
Password Authentification with Insecure Communication (1981) (11)
\TeX{} (2019) (10)
Cache Coherence Verification with TLA+ (1999) (10)
Decomposing Specifications of Concurrent Systems (1994) (10)
Distributed algorithms in TLA (abstract) (2000) (9)
The Operators of TLA C (1997) (9)
The Wildfire Challenge Problem (2016) (9)
Comment on Bell's quadratic quotient method for hash coded searching (1970) (9)
Chapter on Distributed Computing (1989) (9)
Turing lectureThe computer science of concurrency (2015) (8)
A +CAL User’s Manual (2005) (8)
The mailbox problem (2008) (8)
Teaching concurrency (2009) (7)
Prism: A Principle-Based Sequential Memory Model for Microsoft Native Code Platforms (2006) (7)
A Formal Basis for the Specification of Concurrent Systems (1987) (6)
On E. W. Dijkstra's position paper on “fairness:'' (1988) (6)
Verifying Hyperproperties With TLA (2021) (6)
Lattice-structured proof technique applied to a minimum spanning-tree algorithm. Technical report (1988) (6)
Sometime' is Sometimes 'Not Never' (2016) (6)
The computer science of concurrency: the early years (2019) (6)
The specification and proof of correctness of interactive programs (1978) (5)
Hybrid Systems in Tla + Hybrid Systems in Tla + (1993) (5)
The RPC-Memory Specification Problem - Problem Statement (2016) (5)
Leaderless Byzantine Paxos (2016) (5)
Critique of the Lake Arrowhead Three (1992) (5)
Refinement in State-Based Formalisms (2016) (5)
Using TLC to Check Inductive Invariance (2018) (4)
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics (2014) (4)
Euclid Writes an Algorithm: A Fairytale (2011) (4)
Computer Science and State Machines (2016) (4)
State the problem before describing the solution (1978) (4)
When does a correct mutual exclusion algorithm guarantee mutual exclusion? (2000) (4)
A general construction for expressing repetition (1979) (3)
Document Production: Visual or Logical? (2016) (3)
Problems from the Workshop on the Analysis of Concurrent Systems (1983) (3)
The Future of Computing: Logic or Biology (2003) (3)
Concurrent Compiling. Volume 2. The Parallel Execution of FORTRAN DO Loops (1972) (3)
A Discussion With Leslie Lamport (2016) (3)
The mutual exclusion problem has been solved (1991) (3)
Distributed operating systems: Theory and practice (1987) (2)
How (La)TeX changed the face of Mathematics (2016) (2)
On the Glitch Phenomenon (2017) (2)
Measuring Celebrity (2006) (2)
If You're Not Writing a Program, Don't Use a Programming Language (2018) (2)
Comments on "A Synchronization Anomaly" (1976) (2)
Formal Techniques for Fault-Tolerance in Distributed Data Processing (DDP). (1980) (2)
The mutual exclusion problem: part I - A theory of interprocess communication (2019) (2)
An Overview Using a Case Study (2006) (2)
On Self-stabilizing Systems (2016) (1)
Concurrent and Distributed Systems (1999) (1)
Leslie Lamport: The Specification Language TLA+ (2016) (1)
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract) (1988) (1)
TLZ (Abstract) (2000) (1)
Prophecy Made Simple (2022) (1)
An extension of a theorem of Hamada on the Cauchy problem with singular data (1973) (1)
Corrigendum: “A New Approach to Proving the Correctness of Multiprocess Programs” (1980) (1)
Recent Discoveries from Paxos (2004) (1)
Why We Should Build Software Like We Build Houses (2016) (1)
Mathematical Proof Between Generations (2022) (1)
Deconstructing the bakery to build a distributed state machine (2022) (1)
Substitution: Syntactic versus Semantic (1998) (1)
Algorithms for Fault Tolerant Distributed Systems (1989) (1)
' s logical clocks : a tutorial (2002) (1)
Safety, Liveness, and Fairness (2019) (1)
Adding "Process Algebra" to TLA (2016) (1)
Another Position Paper on "Fairness" (2016) (1)
Decomposing Speciications of Concurrent Systems (1)
Implementing dataflow with threads (2008) (1)
147 Should Your Specification Language Be Typed ? (1997) (1)
TLA+: Whence, Wherefore, and Whither (2009) (1)
Time, clocks, and the ordering of my ideas about distributed systems (2006) (1)
Program Logics and Program Verification (position paper) (1981) (1)
Program verification: an approach to reliable hardware and software (1980) (1)
Recursive Compiling and Programming Environments (Summary) (2016) (0)
How to write a 21st century proof (2012) (0)
New Results - Program specification and proof (2007) (0)
Synchronizing Clocks in the Presence of Faults 53 why Processes (1999) (0)
Comment on Bell's Quadratic Quotient Algorithm (2016) (0)
Implementing Data∞ow With Threads (2006) (0)
On-the-fl~ oarbaqe collection: an exercise ~n coooeration. (1975) (0)
2 1 A Brief and Rather Biased History of State-Based Methods for Verifying Concurrent Systems (1993) (0)
Algorithms for fault-tolerant distributed systems. Final technical report, February 1985-February 1988 (1989) (0)
Of Time, Space, and Computation (1998) (0)
Proving Possibility Properties Proving Possibility Properties (1995) (0)
Method and apparatus for rearranging a mesh connected local area network high speed. (1990) (0)
How to Tell a Program from an Automobile (2016) (0)
1 Realizable and Unrealizable Specifications of Reactive Systems (2000) (0)
On a "Theorem" of Peterson (2016) (0)
2 on Distributed Systems (0)
Keynote: recent discoveries from Paxos (2004) (0)
Scalable Training of Deep Learning Models on Cloud Infrastructures (2018) (0)
TLA+ Verification of Cache-Coherence Protocols (2016) (0)
Managing Proofs (Abstract) (1996) (0)
On Hair Color in France (2004) (0)
A Lazy Caching Proof in TLA (2016) (0)
New Results - Communication and Fault Tolerance inDistributed Networks (2013) (0)
Networked (2020) (0)
Proof of the TLA Reduction Theorem (2000) (0)
An Incomplete History of Concurrency (2007) (0)
Lower Bounds on Consensus (2016) (0)
An Assertional Correctness Proof of a Distributed Program (2016) (0)
New Results - Software specification and verification (2013) (0)
U . S . Patent Apr . 8 , 1997 Sheet 2 of 7 5 , 619 , 680 200 CONTROL AND INSTRUCTION SUPPLY 2 (0)
Computer-Hindered Verification (Humans Can Do It Too) (1992) (0)
A Pvs Speciication of Omh-ftp (2007) (0)
Summer Vision Programs (1966) (0)
Configuration Challenges for Smart Spaces (1998) (0)
Marching to Many Distant Drummers (2016) (0)
The Latex Companions: A Complete Guide and Reference for Preparing, Illustrating, and Publishing Technical Documents (2004) (0)
A Simple Approach to Specifying Concurrent Systems a Simple Approach to Specifying Concurrent Systems (1986) (0)
Appendix Proof of correctness (2008) (0)
win and sin :P redicate Transformers for Currency (1989) (0)
An incomplete history of concurrency chapter 1. 1965--1977 (2014) (0)
Specifying and Verifying Concurrent Programs. (1985) (0)
Leslie Lamport’s Logical Clocks: a tutorial (2002) (0)
The Reduction Theorem (2016) (0)
Chapter in Software Specification Methods: An Overview Using a Case Study (2006) (0)
Distributed Computing (2008) (0)
The old picture environment , introduced by (2012) (0)
Buridan's Principle 2 Can Asses Really Starve? (1986) (0)
Implementing and Combining Specifications (2016) (0)
Leslie Lamport (2016) (0)
On-the-Fly Garbage Collection: An Exercise in Cooperation (2022) (0)
Concurrent Algorithms (2022) (0)
l!soMEr~ME!l IS so&fETIMEs IINOT NEv~Rll On the Temporal Logic of Programs (1997) (0)
Proof that all natural numbers are interesting (1993) (0)
How good is your specification method? (1994) (0)
The analytic Cauchy problem with singular data (1972) (0)
What Process Algebra Proofs Use Instead of Invariance (2016) (0)
Teaching Concurrency Leslie Lamport (2018) (0)
Meaning of Other Abbreviations: Clear: Clearing Dirty Marks. Reinforce: Reinforcing Connict Slots. Consolidate: Consolidating Thread Buuers. Update: Updating Reference Counters. X: Incrementing Reference Counters Due to Undetermined Slots. Reclaim: Reclaiming Garbage Objects. Figure 17: Timing Diagr (2007) (0)
A Completeness Theorem for TLA (2016) (0)
DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems (2007) (0)
Control Predicates Are Better than Dummy Variables for Representing Program Control (2016) (0)
How to Present a Paper (2016) (0)
LOCKS IN A REMOTE-WRITE GLOBALLY ORDERED NETWORK OF PROCESSORS (2017) (0)
Specification Problem (2008) (0)
42] Mandayam Srivas and Mark Bickford. Veriication of the Ftcayuga Fault-tolerant Mi- Croprocessor System, Volume 1: a Case-study in Theorem Prover-based Veriication. Forthcom- Ing Chapter for \digital Systems Validation Handbook," Dot/faa/ct-88/10. 35] John Rushby and Friedrich Von Henke. Formal Ve (2009) (0)
Using L A T E X on MTS (1988) (0)
PRELIMINARY USER'S GUIDE TO MONITOR 1 (1966) (0)
Derivation of a Simple Synchronization Algorithm (2016) (0)

This paper list is powered by the following services:

Other Resources About Leslie Lamport

What Schools Are Affiliated With Leslie Lamport?

Leslie Lamport is affiliated with the following schools:

Leslie Lamport's Academic­Influence.com Rankings

Leslie Lamport's Degrees

Why Is Leslie Lamport Influential?

Leslie Lamport's Published Works

Published Works

Other Resources About Leslie Lamport

What Schools Are Affiliated With Leslie Lamport?

Image Attributions

Leslie Lamport's AcademicInfluence.com Rankings