(0:00) Welcome & FAQ's
(02:05) Trust but verify: A deep dive into the correctness of Apache Kafka's replication protocol
(39:29) Declarative Reasoning with Timelines: The Next Step in Event Processing
(01:13:06) Decoupling Compute and Storage for Stream Processing Systems: Benefits, Limitations, and Insights
