
Sign up to save your podcasts
Or
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
4.4
472472 ratings
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
161 Listeners
590 Listeners
621 Listeners
441 Listeners
298 Listeners
322 Listeners
140 Listeners
267 Listeners
192 Listeners
139 Listeners
287 Listeners
87 Listeners
201 Listeners
75 Listeners
462 Listeners