time (CDT) | title | speaker | slides | recording |
---|---|---|---|---|
08:55 | Welcome & Opening Announcements | |||
09:00 | Keynote: Formal Methods at Microsoft | Nikolaj Bjørner | video | |
10:00 | TLA+ for Nike Stores | Nathan Fairhurst | ||
11:00 | Specifying and checking an extension of Tendermint consensus in TLA+ | Jure Kukovec, Daniel Cason, Igor Konnov, and Josef Widder | video | |
12:00 | Lunch | |||
13:00 | Building Correct Distributed Systems with the PGo Compiler | Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, Ruchit Palrecha, Yennis Ye, and Ivan Beschastnikh | video | |
14:00 | Obtaining Statistical Properties via TLC Simulation | Jack Vanlightly and Markus A. Kuppe | video | |
15:00 | Coffee Break | |||
15:30 | Extending Apalache to Symbolically Reason about Temporal Properties of TLA+ | Philip Offtermatt, Jure Kukovec, and Igor Konnov | video | |
16:30 | reTLA: Towards an automatic transpiler from TLA+ to VMT | Jure Kukovec, Aman Goel, Igor Konnov, Stephan Merz, and Karem Sakallah | video | |
17:30 | End of the conference |