TLA+ Conf 2022
Thursday, September 22, 2022
St. Louis, MO, USA

TLA+ Community Event 2020

The virtual hallway and channels to ask the speakers questions can still be found at http://talk.tlapl.us.
time (CEST)titlespeakersliderecording
Thursday, October 15
5:30pmWelcome
5:40pmKeynote: TLA+ at Microsoft to build planetary-scale systemsDharma Shuklapptvideo
Friday, October 16
3:00pmConjunction Capers (TLA+ Truffle)Ron Presslerpdfvideo
3:25pmBridging the Verifiability Gap: Why We Need More From Our Specs and How We Can Get ItJordan Haltermanpdfvideo
3:50pmbreak
4:15pmA formal model of cache speculation side channelsCatalin Marinaspdfvideo
4:40pmExploring and improving the design of AbacoSmruti Padhy, Joe Stubbspdfvideo
5:05pmbreak
5:30pmeXtreme Modelling in Practice (paper)Jesse Davis, Max Hirschhorn, Judah Schvimervideo
5:55pmKayfabe – model-based program testingStar Dormineypptvideo
6:20pmModel-based testing with TLA+ and ApalacheAndrey Kupriyanov, Igor Konnovpdfvideo
Monday, October 19
3:00pmChecking safety in Exactly-once - a library for stronger message processing guaranteesTomek Masternak, Szymon Pobiegapdfvideo
3:25pmTLA + specification of PCR parallel programming patternJose Solsona, Sergio Yovinepdfvideo
3:50pmbreak
4:15pmTLA+ validation of ChordJean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filalipdfvideo
4:40pmAn Extension of PlusCal for Modeling Distributed AlgorithmsHeba Alkayed, Horatiu Cirstea, Stephan Merzpdfvideo
5:05pmbreak
5:30pmHigher-order Automation in TLAPSAntoine Defourné, Petar Vukmirovicvideo
5:55pmType Inference for TLA+ in ApalacheJure Kukovec, Igor Konnovvideo
6:20pmDiscussion and wrap-up

v1.0