Videos Introductory tutorial on P Background and motivation behind P :: what worked and what didn't: Apple Podcast and Youtube Podcast. Tech Talks and Presentations AWS Pi-Week Talk on "Amazon S3 Strong Consisteny" Compositional Programming and Testing of Distributed Systems (OOPSLA, 2018) Programming Safe Robotics Systems (BAIR Talk)