TLA+ Conf 2024
Monday, April 15, 2024
Seattle, USA
| time (PDT) | title | speaker | affiliation | slides | recording |
|---|---|---|---|---|---|
| 08:55 | Welcome & Opening Announcements | ||||
| 09:00 (tentative) | Keynote: 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 Brooker | Amazon AWS | ||
| 10:00 | TLA+ @ LinkedIn: Ambry and Venice | Ankur Agrawal & Zac Policzer | pptx | ||
| 10:30 | Practical Insights from Datadog’s Use of TLA+ and Simulations | Arun Parthiban | Datadog | ||
| 11:00 | How we designed and model-checked MongoDB reconfiguration protocol | Siyuan Zhou | MongoDB | ||
| 11:30 | Reverse-Engineering with TLA+ | Calvin Loncaric | Oracle | ||
| 12:00 | Lunch | ||||
| 13:00 | Specification-Driven Development With TLA+ | Guo Hua | Scupt & East China Normal University | pptx | video |
| 13:40 | Validating System Executions with the TLA+ Tools | Markus A. Kuppe | Microsoft | ||
| 14:20 | Promises and Challenges in Bridging TLA+ Designs with Implementations | Finn Hackett | University of British Columbia | ||
| 15:00 | Coffee Break | ||||
| 15:30 | You Deserve Unicode TLA+, and Other Nice Things Too | Andrew Helwer | Disjunctive Consulting LLC | odp | |
| 15:50 | Formal Methods in the Enterprise | David McNeil | |||
| 16:10 | Tackling State Space Explosion in TLA+ Visualizations | Daniel Stachnik | Hasso Plattner Institute University of Potsdam | video | |
| 16:30 | Towards Better Interactive Formal Specifications | William Schultz | Northeastern University | video | |
| 16:50 | End of the conference |