TLA+ Community Meeting 2023
Saturday, April 22, 2023
Paris, France

TLA+ Community Event 2020

The virtual hallway and channels to ask the speakers questions can still be found at
time (CEST)titlespeakersliderecording
Thursday, October 15
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
4:15pmA formal model of cache speculation side channelsCatalin Marinaspdfvideo
4:40pmExploring and improving the design of AbacoSmruti Padhy, Joe Stubbspdfvideo
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
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:30pmHigher-order Automation in TLAPSAntoine Defourné, Petar Vukmirovicvideo
5:55pmType Inference for TLA+ in ApalacheJure Kukovec, Igor Konnovvideo
6:20pmDiscussion and wrap-up