| 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 | video, slides | |
| ⇒ | 01.20.2017 | Shuai Mu | Byzantine Paxos | video, slides |
| TBD | Stephan Merz | Termination Detection | ||
| TBD | Chris Newcombe | Serializable Snapshot Isolation |
- 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.