Conference notes from BugBash'26 morning sessions covering several talks: Peter Alvaro's 20-year retrospective on distributed systems research (CALM theorem, lineage-driven fault injection, metastability simulation, deterministic testing); Deb Chachra's infrastructure philosophy talk drawing parallels between physical and digital infrastructure; and lightning talks on kernel bug patterns and LLM implications, formal verification with Dafny in web dev workflows, and property-based testing for web apps using the Bombadil project from Antithesis.
Table of contents
Where all the ladders startFrom dams to data: how to think about infrastructureLightning TalksSort: