Leslie Lamport

Publication Activity (10 Years)

Years Active: 1970-2022
Publications (10 Years): 10

Top Venues

CoRR

Commun. ACM

CSF

PODC

Publications

Leslie Lamport
Deconstructing the bakery to build a distributed state machine. Commun. ACM 65 (9) (2022)
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
Mathematical Proof Between Generations. CoRR (2022)
Leslie Lamport, Stephan Merz
Prophecy Made Simple. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Leslie Lamport, Fred B. Schneider
Verifying Hyperproperties With TLA. CSF (2021)
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
The TLA+ Toolbox. F-IDE@FM (2019)
Leslie Lamport
If You're Not Writing a Program, Don't Use a Programming Language. Bull. EATCS 125 (2018)
Leslie Lamport, Stephan Merz
Auxiliary Variables in TLA+. CoRR (2017)
Leslie Lamport, Richard Palais
On the Glitch Phenomenon. CoRR (2017)
Leslie Lamport
Who builds a house without drawing blueprints? Commun. ACM 58 (4) (2015)
Leslie Lamport
Turing lecture: The computer science of concurrency: the early years. Commun. ACM 58 (6) (2015)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL@IJCAR (2014)
Leslie Lamport
An incomplete history of concurrency chapter 1. 1965-1977. PODC (2014)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. CoRR (2014)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
Adaptive Register Allocation with a Linear Number of Registers. DISC (2013)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA+ Proofs CoRR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA + Proofs. FM (2012)
Leslie Lamport
Euclid Writes an Algorithm: A Fairytale. Int. J. Softw. Informatics 5 (1-2) (2011)
Leslie Lamport
Byzantizing Paxos by Refinement. DISC (2011)
Leslie Lamport
Brief Announcement: Leaderless Byzantine Paxos. DISC (2011)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties With the TLA+ Proof System CoRR (2010)
Leslie Lamport
Computer Science and State Machines. Concurrency, Compositionality, and Correctness (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties with the TLA+ Proof System. IJCAR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Proof System: Building a Heterogeneous Verification Platform. ICTAC (2010)
Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
The mailbox problem. Distributed Comput. 23 (2) (2010)
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
Reconfiguring a state machine. SIGACT News 41 (1) (2010)
Leslie Lamport
The PlusCal Algorithm Language. ICTAC (2009)
Leslie Lamport
Teaching concurrency. SIGACT News 40 (1) (2009)
Leslie Lamport
TLA+: Whence, Wherefore, and Whither. NASA Formal Methods (2009)
Leslie Lamport, Dahlia Malkhi, Lidong Zhou
Vertical paxos and primary-backup replication. PODC (2009)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System. LPAR Workshops (2008)
Leslie Lamport
Implementing dataflow with threads. Distributed Comput. 21 (3) (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System CoRR (2008)
Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport
The Mailbox Problem. DISC (2008)
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal specification of a Web services protocol. J. Log. Algebraic Methods Program. 70 (1) (2007)
Leslie Lamport
DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems. DISC (2007)
Leslie Lamport
Fast Paxos. Distributed Comput. 19 (2) (2006)
Leslie Lamport
The +CAL Algorithm Language. NCA (2006)
Leslie Lamport
CAL. DISC (2006)
Leslie Lamport
CAL Algorithm Language. FORTE (2006)
Jim Gray, Leslie Lamport
Consensus on transaction commit. ACM Trans. Database Syst. 31 (1) (2006)
Leslie Lamport
Lower bounds for asynchronous consensus. Distributed Comput. 19 (2) (2006)
Leslie Lamport
Real-Time Model Checking Is Really Simple. CHARME (2005)
Partha Dutta, Rachid Guerraoui, Leslie Lamport
How Fast Can Eventual Synchrony Lead to Consensus?. DSN (2005)
Leslie Lamport
Recent Discoveries from Paxos. DSN (2004)
Jim Gray, Leslie Lamport
Consensus on Transaction Commit CoRR (2004)
Leslie Lamport, Mike Massa
Cheap Paxos. DSN (2004)
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal Specification of a Web Services Protocol. Electron. Notes Theor. Comput. Sci. 105 (2004)
Leslie Lamport
Arbitration-free synchronization. Distributed Comput. 16 (2-3) (2003)
Eli Gafni, Leslie Lamport
Disk Paxos. Distributed Comput. 16 (1) (2003)
Leslie Lamport
Lower Bounds for Asynchronous Consensus. Future Directions in Distributed Computing (2003)
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
. Formal Methods Syst. Des. 22 (2) (2003)
Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop (2002)
Leslie Lamport
Paxos Made Simple, Fast, and Byzantine. OPODIS (2002)
Brannon Batson, Leslie Lamport
High-Level Specifications: Lessons from Industry. FMCO (2002)
Leslie Lamport, Sharon E. Perl, William E. Weihl
When does a correct mutual exclusion algorithm guarantee mutual exclusion? Inf. Process. Lett. 76 (3) (2000)
Eli Gafni, Leslie Lamport
Disk Paxos. DISC (2000)
Leslie Lamport
Distributed algorithms in TLA (abstract). PODC (2000)
Leslie Lamport
Fairness and hyperfairness. Distributed Comput. 13 (4) (2000)
Yuan Yu, Panagiotis Manolios, Leslie Lamport
Specifications. CHARME (1999)
Leslie Lamport, Lawrence C. Paulson
Should your specification language be typed. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. World Congress on Formal Methods (1999)
Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
Lazy Caching in TLA. Distributed Comput. 12 (2-3) (1999)
Ernie Cohen, Leslie Lamport
Reduction in TLA. CONCUR (1998)
Leslie Lamport
The Part-Time Parliament. ACM Trans. Comput. Syst. 16 (2) (1998)
Leslie Lamport
Proving Possibility Properties. Theor. Comput. Sci. 206 (1-2) (1998)
Leslie Lamport
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor. IEEE Trans. Computers 46 (7) (1997)
Leslie Lamport
Processes are in the Eye of the Beholder. Theor. Comput. Sci. 179 (1-2) (1997)
Leslie Lamport
Composition: A Way to Make Proofs Harder. COMPOS (1997)
Leslie Lamport
Managing Proofs (Abstract). TACAS (1996)
Martín Abadi, Leslie Lamport
Conjoining Specifications. ACM Trans. Program. Lang. Syst. 17 (3) (1995)
Leslie Lamport
TLA in Pictures. IEEE Trans. Software Eng. 21 (9) (1995)
Manfred Broy, Leslie Lamport
The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification (1994)
Leslie Lamport
TLZ. Z User Workshop (1994)
Leslie Lamport, Stephan Merz
Specifying and Verifying Fault-Tolerant Systems. FTRTFT (1994)
Martín Abadi, Leslie Lamport
Open Systems in TLA. PODC (1994)
Martín Abadi, Leslie Lamport, Stephan Merz
A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Leslie Lamport
TLA in Pictures. Specification of Parallel Algorithms (1994)
Leslie Lamport
How to Write a Long Formula (Short Communication). Formal Aspects Comput. 6 (5) (1994)
Leslie Lamport
The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
Martín Abadi, Leslie Lamport
An Old-Fashined Recipe for Real-Time. ACM Trans. Program. Lang. Syst. 16 (5) (1994)
Martín Abadi, Leslie Lamport
Decomposing Specifications of Concurrent Systems. PROCOMET (1994)
Leslie Lamport
How good is your specification method? FORTE (1994)
Robert P. Kurshan, Leslie Lamport
Verification of a Multiplier: 64 Bits and Beyond. CAV (1993)
Martín Abadi, Leslie Lamport
Composing Specifications. ACM Trans. Program. Lang. Syst. 15 (1) (1993)
Leslie Lamport
Verification and Specifications of Concurrent Programs. REX School/Symposium (1993)
Leslie Lamport
Computer-Hindered Verification (Humans Can Do It Too). CAV (1992)
Leslie Lamport
. Hybrid Systems (1992)
Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. CAV (1992)
Leslie Lamport
Critique of the Lake Arrowhead Three. Distributed Comput. 6 (1) (1992)
Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. Larch (1992)
Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View". Inf. Process. Lett. 40 (3) (1991)
Martín Abadi, Leslie Lamport
An Old-Fashioned Recipe for Real Time. REX Workshop (1991)
Martín Abadi, Leslie Lamport
The Existence of Refinement Mappings. Theor. Comput. Sci. 82 (2) (1991)
Leslie Lamport
Concurrent Reading and Writing of Clocks. ACM Trans. Comput. Syst. 8 (4) (1990)
Leslie Lamport
: Predicate Transformers for Concurrency. ACM Trans. Program. Lang. Syst. 12 (3) (1990)
Leslie Lamport
A Theorem on Atomicity in Distributed Algorithms. Distributed Comput. 4 (1990)
Leslie Lamport
A Simple Approach to Specifying Concurrent Systems. Commun. ACM 32 (1) (1989)
Martín Abadi, Leslie Lamport, Pierre Wolper
Realizable and Unrealizable Specifications of Reactive Systems. ICALP (1989)
Martín Abadi, Leslie Lamport
Composing Specifications. REX Workshop (1989)
Leslie Lamport
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). Concurrency (1988)

Leslie Lamport.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leslie Lamport