Changgeng Zhao

On the parallels between Paxos and Raft, and how to port optimizations

In recent years, Raft has overtaken Paxos as the consensus algorithm of choice. [53] While many have pointed out similarities between the two protocols, no one has formally mapped out their...

Cobra: Making Transactional Key-Value Stores Verifiably Serializable

On the Parallels between Paxos and Raft, and how to Port Optimizations

Detecting Incorrect Behavior of Cloud Databases as an Outsider

Cloud DBs offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud DBs are complicated black boxes, running in a different...