consecutive-votes-in-paxos | episodes

listen on castbox.fmlisten on google podcastslisten on player.fmlisten on pocketcastslisten on podcast addictlisten on tuninlisten on Amazon Musiclisten on Stitcher


Consecutive Votes in Paxos

Eil Goldweber, a graduate student at the University of Michigan, comes on today to share his work in applying formal verification to systems and a modification to the Paxos protocol discussed in the paper Significance on Consecutive Ballots in Paxos.

Eli Goldweber

Eli Goldweber is a Ph.D. candidate at the University of Michigan advised by Manos Kapritsos. Eli earned a BS in Computer Science from Syracuse University in 2016. Eli's research focuses on distributed consensus and the application of formal verification to build correct systems.