TLA+ Conf 2024
Monday, April 15, 2024
Seattle, USA

TLA+ Conference 2024

time (PDT)titlespeakeraffiliationslidesrecording
08:55Welcome & Opening AnnouncementsJulia Ferraiolivideo
09:00Keynote: Fifteen years of formal methods at AWS - Just under a decade ago, we published “How Amazon Web Services Uses Formal Methods” in CACM, describing our experiences with formal methods (especially TLA+) building production systems at AWS. In this talk, I’ll look back over the decade since that paper, how our practice has evolved since then, and the challenges for the future.Marc BrookerAmazon AWSpdfvideo
10:00TLA+ @ LinkedIn: Ambry and VeniceAnkur Agrawal & Zac PoliczerLinkedInpptxvideo
10:30Practical Insights from Datadog’s Use of TLA+ and SimulationsArun ParthibanDatadogpdfvideo
11:00How we designed and model-checked MongoDB reconfiguration protocolSiyuan ZhouMongoDBpdfvideo
11:30Reverse-Engineering with TLA+Calvin LoncaricOraclepdfvideo
13:00Specification-Driven Development With TLA+Guo HuaScupt & East China Normal Universitypptxvideo
13:40Validating System Executions with the TLA+ ToolsMarkus A. KuppeMicrosoftpdfvideo
14:20Promises and Challenges in Bridging TLA+ Designs with ImplementationsFinn HackettUniversity of British Columbiapdfvideo
15:00Coffee Break
15:30You Deserve Unicode TLA+, and Other Nice Things TooAndrew HelwerDisjunctive Consulting LLCodpvideo
15:50Formal Methods in the EnterpriseDavid McNeilpdfvideo
16:10Tackling State Space Explosion in TLA+ VisualizationsDaniel StachnikHasso Plattner Institute University of Potsdampdfvideo
16:30Towards Better Interactive Formal SpecificationsWilliam SchultzNortheastern Universitypdfvideo
16:50End of the conference