Protocol Aware Deterministic Simulation Testing Chaitanya Bhandari Bug Bash 2026

Summary

Shiv, CEO of Loophole Labs, talks about how they solved GPU access limitations by building CUDA over TCP functionality. Anish Agrawal, co-founder and CTO at Olympix, presents a technical approach to smart contract security using symbolic execution ... Pierre Zemb, a staff engineer at Clever Cloud, tells us how his team adopted FoundationDB's Josh Ip, founder of Ranger, explores the gap between reliable software and good software, arguing that while we can build code ... Gabriela Moreira introduces Quint ( quint.sh/), a language built on top of TLA+ to make formal specifications more ... Professor Deb Chachra from Olin College ( debcha.org/) explores the history and future of infrastructure networks in this talk ... Go to p99conf.io/ for P99 CONF talks on demand and to learn more. . . . . . Distributed systems are hard to Description This episode explores Fernanda Graciolli, co-founder of Midspiral, talks about how Midspiral is bringing formal verification to mainstream web ... Modern, distributed systems are complex and present numerous challenges: concurrency, process crashes, message loss, ... Matt Barrett, Founder and CEO of Adaptive ( weareadaptive.com/), discusses the development of Aeron Cluster, Adaptive's ...