2 citations · 5 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv +1
Distributed protocols such as Paxos play an important role in many computer systems. Therefore, a bug in a distributed protocol may have tremendous effects. Accordingly, a lot of e…
cs.DC2017★ 2 cited
Speeding up Consensus by Chasing Fast Decisions
Balaji Arun, Sebastiano Peluso, Roberto Palmieri +2
This paper proposes Caesar, a novel multi-leader Generalized Consensus protocol for geographically replicated sites. The main goal of Caesar is to overcome one of the major limitat…