[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)


August 29, 2016 - 10-11:30am PDT


Replicating data across geographically distributed data centers is the new norm in cloud services. Compared to Classic Paxos, Fast Paxos shines more favorably, because

This meetup studies Leslie Lamport's seminal paper on Fast Paxos and its TLA+ specification.


Dr. Cheng Huang is a research scientist and tech lead at Microsoft. Cheng has been with Microsoft Research for 11 years. Most recently, he joined the Azure Storage team to full-time help making the Microsoft cloud more scalable and cost effective.


Paper and Spec

(not required, but helpful to take a quick look)