Inventor
LAMPORT LESLIE B
US13 patents
⚠️ This page may combine multiple inventors who share the name “LAMPORT LESLIE B”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
10 patentsUS7558883B1Jul 7, 2009
Fast transaction commit
MICROSOFT CORP83 citations97
US7249280B2Jul 24, 2007
Cheap paxos
MICROSOFT CORP58 citations96
US7849223B2Dec 7, 2010
Virtually synchronous Paxos
MICROSOFT CORP53 citations94
US8005888B2Aug 23, 2011
Conflict fast consensus
MICROSOFT CORP21 citations92
US7856502B2Dec 21, 2010
Cheap paxos
MICROSOFT CORP22 citations92
US7711825B2May 4, 2010
Simplified Paxos
MICROSOFT CORP23 citations92
US7565433B1Jul 21, 2009
Byzantine paxos
MICROSOFT CORP41 citations92
US7555516B2Jun 30, 2009
Fast Paxos recovery
MICROSOFT CORP48 citations92
US7698465B2Apr 13, 2010
Generalized Paxos
MICROSOFT CORP19 citations83
US8046413B2Oct 25, 2011
Automatic commutativity detection for generalized paxos
MICROSOFT CORP5 citations63