Dr. TLA+ series
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
ByzPaxos update Byz Paxos slides Apr 10, 2017
FastPaxos update Fast Paxos Sep 7, 2016
FlexiblePaxos update flexible paxos Nov 29, 2016
GSnapshot update Global Snapshots Oct 26, 2016
Paxos update Paxos spec link Apr 10, 2017
Raft update Raft Sep 7, 2016
TiDB update TiDB lecture Mar 1, 2018
README.md update TiDB lecture Mar 1, 2018


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 video, slides
01.20.2017 Shuai Mu Byzantine Paxos video, slides
03.01.2018 Ed Huang Verifying Distributed Transaction with TLA+ in TiDB
TBD 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.