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
	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.