Paper on reproducing the Raft consensus protocol, published in ACM SIGOPS Operating Systems Review with Heidi Howard, Malte Schwarzkopf and Jon Crowcroft. We developed a clean-slate OCaml implementation of Raft and built an event-driven simulation framework to test it. The paper proposed several optimizations to the protocol and empirically validated Raft's correctness invariants, while also evaluating whether it lived up to its claims of being more understandable than Paxos.
Read more about Raft Refloated: Do We Have Consensus?.