Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog
28:58
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
10:19
Americana’s Revival: How Automation Will Spark a Cultural Renaissance
52:03
Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS
50:41
Datadog on Stateful Workloads on Kubernetes
55:03
ChatGPT & LLM Ethics: History, Architecture, and Debate | MLBBQ | Theodore LaGrow
15:12
TLA+ Conf - William Schultz - Towards Interactive Formal Specs
25:08