Tag: Formal Proofs

Episode 377: Heidi Howard on Distributed Consensus

Filed in Episodes by on August 21, 2019 0 Comments
Episode 377: Heidi Howard on Distributed Consensus

Heidi Howard, a researcher in the field of distributed systems, discusses distributed consensus.  Heidi explains when we need it, when we don’t need and the algorithms we use to achieve it.  Adam Gordon Bell spoke with Heidi about the history of distributed consensus, paxos and variations on it, such as raft and flexible paxos, performance and […]

Continue Reading »