time | title | speaker | slides | recording |
---|---|---|---|---|
9:00 | Keynote: TLA+ at Microsoft: 16 Years in Production | David Langworthy | pptx | video |
9:45 | Building Hyperscale IoT Services With TLA+ | Vaibhav Sharma | pptx | video |
10:30 | Coffee break | |||
11:00 | Compiling Distributed System Models into Implementations with PGo | Ivan Beschastnikh | video | |
11:45 | S-expressions for Actions with Logic Temporal | David McNeil | video | |
12:30 | Lunch | |||
14:00 | Exposing Design Flaws in Shared-Clock Systems with TLA+ | Russell Mull | video | |
14:25 | Using TLA+ for fun and profit in the development of Elasticsearch | Yannick Welsch | pptx | video |
14:45 | Fixing a MongoDB Replication Protocol Bug with TLA+ | William Schultz | video | |
15:30 | Coffee Break | |||
16:00 | Alloy for TLA+ users | Jay Parlar | ||
16:45 | On Advocacy and Instruction | Hillel Wayne | ||
17:30 | Discussion and wrap-up | |||
18:00 | End of the conference | |||
19:00 | Further networking during the Strange Loop Party at the City Museeum |