TLA+ Community Event
October 2020

Program Conf2019

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 pdf video
11:45 S-expressions for Actions with Logic Temporal David McNeil pdf video
12:30 Lunch
14:00 Exposing Design Flaws in Shared-Clock Systems with TLA+ Russell Mull pdf 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 pdf 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