TLA+ Conference
12. September 2019
St. Louis, MO, USA


time title speaker
9:00 Keynote: Lessons learned from building and operating a globally distributed database service Dharma Shukla
9:45 High-level TLA+ specifications for the five consistency levels offered by Azure Cosmos DB Murat Demirbas
10:30 Coffee break
11:00 Compiling Distributed System Models into Implementations with PGo Ivan Beschastnikh
11:45 S-expressions for Actions with Logic Temporal David McNeil
12:30 Lunch
14:00 Exposing Design Flaws in Shared-Clock Systems with TLA+ Russell Mull
14:25 Using TLA+ for fun and profit in the development of Elasticsearch Yannick Welsch
14:45 Fixing a MongoDB Replication Protocol Bug with TLA+ William Schultz
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