Consecutive Votes in Paxos
Data Skeptic11 Jan 2021

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.

Works Mentioned :
Previous Episode on Paxos
https://dataskeptic.com/blog/episodes/2020/distributed-consensus

Paper:
On the Significance on Consecutive Ballots in Paxos by: Eli Goldweber, Nuda Zhang, and Manos Kapritsos

Thanks to our sponsor:
Nord VPN : 68% off a 2-year plan and one month free! With NordVPN, all the data you send and receive online travels through an encrypted tunnel. This way, no one can get their hands on your private information. Nord VPN is quick and easy to use to protect the privacy and security of your data. Check them out at nordvpn.com/dataskeptic

Episoder(588)

Populært innen Vitenskap

fastlegen
rekommandert
jss
rss-rekommandert
tingenes-tilstand
sinnsyn
rss-nysgjerrige-norge
villmarksliv
dekodet-2
forskningno
doktor-fives-podcast
rss-paradigmepodden
vett-og-vitenskap-med-gaute-einevoll
pod-britannia
psykopoden
tidlose-historier
diagnose
tomprat-med-gunnar-tjomlid
nevropodden
abid-nadia-skyld-og-skam