Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS Published 2024-05-05 Download video MP4 360p Download video MP4 720p Recommendations 33:07 Reverse Engineering with TLA+ Calvin Loncaric, Oracle 28:58 TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn 40:28 How I Would Learn AWS Today (after 10 years of cloud experience) 34:16 Applying AI/ML Methods to Diagnose Network Issues Using Telemetry Data - Frank Brockners, Cisco 39:02 Promises and Challenges in Bridging TLA+ Designs with Implementations Finn Hackett 45:44 Validating System Executions with the TLA+ Tools Markus A Kuppe, Microsoft 59:51 AWS re:Invent 2023 - Best practices for serverless developers (SVS401) 57:11 AWS re:Invent 2023 - I didn’t know Amazon API Gateway did that (SVS323) 27:03 Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog 25:08 TLA Conf24 - Guo Hua - Specification Driven Development With TLA+ 11:46 Top 50+ AWS Services Explained in 10 Minutes 21:12 You Deserve Unicode TLA+, and Other Nice Things Too Andrew Helwer, Disjunctive Consulting LLC 15:28 TLA+ Conf 24 - Daniel Stachnik - Tackling State Space Explosion In TLA+ Visualizations 1:04:03 Keynote: Rethinking Serverless with FLAME - Chris McCord | ElixirConf EU 2024 15:12 TLA+ Conf - William Schultz - Towards Interactive Formal Specs 24:31 How we designed and model checked MongoDB reconfiguration protocol Siyuan Zhou, MongoDB 10:19 What is an API Gateway? 45:36 OpenAI DevDay: Opening Keynote Similar videos 1:55:54 AWS re:Invent 2020 - Developer Keynote with Dr. Werner Vogels 56:36 TLA+ in Engineering Systems – Quinceañera - David Langworthy 1:03:13 Hillel Wayne is Designing Distributed Systems with TLA+ More results