Reverse Engineering with TLA+ Calvin Loncaric, Oracle
28:58
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
43:05
Pawel Szulc - Formal verification applied (with TLA+)
45:44
Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft
1:02:53
Session 21: High Performance Python and Parallelization
39:02
Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett
52:03
Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS
25:08