Leslie B. Lamport

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Selecting values in a distributed computing system
- Patent number 8,073,897
- Issue date Dec 6, 2011
- Microsoft Corporation
- Leslie B. Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic commutativity detection for generalized paxos
- Patent number 8,046,413
- Issue date Oct 25, 2011
- Microsoft Corporation
- Jonathan R. Howell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conflict fast consensus
- Patent number 8,005,888
- Issue date Aug 23, 2011
- Microsoft Corporation
- Leslie B. Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Cheap paxos
- Patent number 7,856,502
- Issue date Dec 21, 2010
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtually synchronous Paxos
- Patent number 7,849,223
- Issue date Dec 7, 2010
- Microsoft Corporation
- Dahlia Malkhi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Leaderless byzantine consensus
- Patent number 7,797,457
- Issue date Sep 14, 2010
- Microsoft Corporation
- Leslie Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simplified Paxos
- Patent number 7,711,825
- Issue date May 4, 2010
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generalized Paxos
- Patent number 7,698,465
- Issue date Apr 13, 2010
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast byzantine paxos
- Patent number 7,620,680
- Issue date Nov 17, 2009
- Microsoft Corporation
- Leslie Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Byzantine paxos
- Patent number 7,565,433
- Issue date Jul 21, 2009
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast transaction commit
- Patent number 7,558,883
- Issue date Jul 7, 2009
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast Paxos recovery
- Patent number 7,555,516
- Issue date Jun 30, 2009
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-leader distributed system
- Patent number 7,260,611
- Issue date Aug 21, 2007
- Microsoft Corporation
- Leslie Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Cheap paxos
- Patent number 7,249,280
- Issue date Jul 24, 2007
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for effectuating distributed consensus among memb...
- Patent number 6,463,532
- Issue date Oct 8, 2002
- Compaq Computer Corporation
- James M. Reuter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for mutual exclusion of locks in a remote-write globally ord...
- Patent number 6,374,285
- Issue date Apr 16, 2002
- Compaq Computer Corporation
- Daniel J. Scales
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for exclusive access to shared storage
- Patent number 6,226,717
- Issue date May 1, 2001
- Compaq Computer Corporation
- James M. Reuter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault-tolerant system and method for implementing a distributed sta...
- Patent number 5,261,085
- Issue date Nov 9, 1993
- Digital Equipment Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reconfiguration system and method for high-speed mesh connected loc...
- Patent number 5,138,615
- Issue date Aug 11, 1992
- Digital Equipment Corporation
- Leslie B. Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
Fast Byzantine Paxos
- Publication number 20100017495
- Publication date Jan 21, 2010
- Microsoft Corporation
- Leslie B. Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VIRTUALLY SYNCHRONOUS PAXOS
- Publication number 20090150566
- Publication date Jun 11, 2009
- Microsoft Corporation
- Dahlia Malkhi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Synchronizing dataflow computations, particularly in multi-processo...
- Publication number 20080005357
- Publication date Jan 3, 2008
- Microsoft Corporation
- Dahlia Malkhi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Leaderless Byzantine consensus
- Publication number 20070214355
- Publication date Sep 13, 2007
- Microsoft Corporation
- Leslie Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic commutativity detection for generalized paxos
- Publication number 20060184627
- Publication date Aug 17, 2006
- Microsoft Corporation
- Jonathan R. Howell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Fast paxos recovery
- Publication number 20060168011
- Publication date Jul 27, 2006
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generalized paxos
- Publication number 20060136781
- Publication date Jun 22, 2006
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cheap paxos
- Publication number 20050283659
- Publication date Dec 22, 2005
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cheap paxos
- Publication number 20050283373
- Publication date Dec 22, 2005
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simplified Paxos
- Publication number 20050198106
- Publication date Sep 8, 2005
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Conflict fast consensus
- Publication number 20050149609
- Publication date Jul 7, 2005
- Microsoft Corporation
- Leslie B. Lamport
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-leader distributed system
- Publication number 20040103138
- Publication date May 27, 2004
- Microsoft Corporation
- Leslie Lamport
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Leslie B. Lamport

Person

Patents Grantslast 30 patents

Selecting values in a distributed computing system

Automatic commutativity detection for generalized paxos

Conflict fast consensus

Cheap paxos

Virtually synchronous Paxos

Leaderless byzantine consensus

Simplified Paxos

Generalized Paxos

Fast byzantine paxos

Byzantine paxos

Fast transaction commit

Fast Paxos recovery

Multi-leader distributed system

Cheap paxos

System and method for effectuating distributed consensus among memb...

Method for mutual exclusion of locks in a remote-write globally ord...

System and method for exclusive access to shared storage

Fault-tolerant system and method for implementing a distributed sta...

Reconfiguration system and method for high-speed mesh connected loc...

Patents Applicationslast 30 patents

Fast Byzantine Paxos

VIRTUALLY SYNCHRONOUS PAXOS

Synchronizing dataflow computations, particularly in multi-processo...

Leaderless Byzantine consensus

Automatic commutativity detection for generalized paxos

Fast paxos recovery

Generalized paxos

Cheap paxos

Cheap paxos

Simplified Paxos

Conflict fast consensus

Multi-leader distributed system