Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWS
28:58
TLA+ @ LinkedIn Ambry and Venice Ankur Agrawal & Zac Policzer, LinkedIn
33:07
Reverse Engineering with TLA+ Calvin Loncaric, Oracle
40:49
How Jewelry is the Perfect DTC Product for Breaking into the Ecommerce Market
59:00
AWS re:Invent 2024 - Try again: The tools and techniques behind resilient systems (ARC403)
23:00
USENIX ATC '23 - On-demand Container Loading in AWS Lambda
31:00
AWS API Gateway tutorial ( Latest)
1:11:00
Systems Design in an Hour
56:30