Dr. TLA+ Series - learn an algorithm and protocol, study a specification
Lecture schedule (Time: 10-11:30am PDT)
Date | Speaker | Topic | Media | |
---|---|---|---|---|
06.22.2016 | Andrew Helwer | Paxos | video, slides | |
07.21.2016 | Jin Li | Raft | video, slides | |
08.29.2016 | Cheng Huang | Fast Paxos | video, slides | |
09.23.2016 | Rustan Leino | Global Snapshots | video, slides | |
⇒ | 11.09.2016 | Heidi Howard | Flexible Paxos | stay tuned |
December, 2016 | Shuai Mu | Practical Byzantine / Byzantine Paxos | ||
January, 2017 | Stephan Merz | Termination Detection | ||
TBD | Chris Newcombe | Serializable Snapshot Isolation |
Each session wll focus on a single algorithm/protocol and:
- dive deep into how the algorithm and protocol works;
- illustrate in detail how the TLA+ specification is written;
- share the learnings from writing and studying the specification.