Videos
Videos and Talks
Featured Talk
(Re:Invent 2023) Gain confidence in system correctness & resilience with Formal Methods — Overview of P, why formal methods matter, and how AWS uses P to gain confidence in correctness of their services.
Podcast
Background and motivation behind P — what worked and what didn't:
Tech Talks and Presentations
| Talk | Venue |
|---|---|
| Amazon S3 Strong Consistency | AWS Pi-Week |
| Amazon S3 Strong Consistency | AWS Pi-Week |
| Compositional Programming and Testing of Distributed Systems | OOPSLA 2018 |
| Programming Safe Robotics Systems | BAIR Talk |
| DRONA: Programming Safe Robotics Systems — Demo | Demo Video |