Marco Primi on "Paxos Made Simple"
Details
Mini: You!
If you're interested in giving a 15-20m talk, let us know! We can help you prepare your slides and rehearse beforehand.
Main: Marco Primi on "Paxos Made Simple"
Abstract: At the PODC 2001 conference, I got tired of everyone saying how difficult it was to understand the Paxos algorithm. Although people got so hung up in the pseudo-Greek names that they found the paper hard to understand, the algorithm itself is very simple. So, I cornered a couple of people at the conference and explained the algorithm to them orally, with no paper. When I got home, I wrote down the explanation as a short note, which I later revised based on comments from Fred Schneider and Butler Lampson. The current version is 13 pages long, and contains no formula more complicated than n1 > n2.
Bio: Marco is a bug hunter at Antithesis. After completing his Masters in Dependable Distributed Systems, he worked on mission-critical infrastructure at Apple and Netflix. Much of Marco's career has revolved Paxos, consensus protocols, and systems built on top of them.
RSVP to join us in person! If you can't make it live, join on Zoom - no RSVP needed. The agenda is also available online.