What Is It
Two Days
Infinite Bugs
Zero Tolerance
This is a conference for infrastructure geeks, distributed systems engineers, database fanatics, and the occasional artist. We believe in putting people from different fields in the same room. Unpredictable things seem to happen—pretty reliably.
Join Us – April 23-24 at The Eaton Hotel in DC
Get Tickets NowAgenda
DAY 0
April 22
2:00PM
Seminar
Formal Methods
2:00PM
Integrating formal verification into AI-assisted development workflows
Nada Amin, Assistant Professor @ Harvard SEAS, & Fernanda Graciolli, Co-founder @ Midspiral
Seminar
Hard problems
2:00PM
Uphill walk vs. uphill battle
Marco Primi, Chaos Monkey @ Antithesis
BREAK
Seminar
Formal Methods
3:15PM
(Almost) correct-by-design: designing a lakehouse for the age of untrusted agents.
Jacopo Tagliabue, Co-founder @ Bauplan
Seminar
Hard problems
3:15PM
Paranormal forms: Checking transaction safety with predicates?
Kyle Kingsbury, Principal @ Jepsen
BREAK
Seminar
Formal Methods
4:30PM
Automated Verification of Distributed Systems
Tony Zhang, Software Engineer @ Databricks
Seminar
Hard problems
4:30PM
What is test coverage in distributed systems?
Rohan Padhye, Associate Professor @ CMU
DAY 1
April 23
8:00AM
BREAKFAST — 8:00AM
Keynote
9:00AM
Opening keynote
Will Wilson, Co-founder & CEO @ Antithesis
Keynote
9:45AM
From dams to data: how to think about infrastructure
Deb Chachra, Professor of Engineering @ Olin College
BREAK
Keynote
11:00AM
Where all the ladders start
Peter Alvaro, Associate Professor of Computer Science @ UC Santa Cruz
Lightning Talks
11:45AM
Formal Verification in the Web Dev Workflow
What 20 years of Kernel Bugs Taught Us About Finding the Next One
Borrowing FoundationDB's Simulator for Layer Development
Fernanda Graciolli, Co-Founder @ Midspiral
Jenny Qu, AI Researcher @ Pebblebed
Pierre Zemb, Staff Engineer @ Clever Cloud
Lunch — 12:15PM
Keynote
1:30PM
Informal Methods
Ben Eggers, Member of Technical Staff @ OpenAI
Keynote
2:00PM
Keynote
Ron Minsky, Co-head of Technology @ Jane Street
Break
KEYNOTE
3:15PM
Protocol-aware deterministic simulation testing
Chaitanya Bhandari, Distributed Systems Engineer @ TigerBeetle
KEYNOTE
3:45pm
Keynote
Matt Barrett, Founder & CEO @ Adaptive
BREAK
KEYNOTE
4:30PM
The mainframe in the cloud
corwin, Uber Tech Lead, Parallel File Systems @ Google
END OF DAY 1
DAY 2
April 24
8:00AM
BREAKFAST — 8:00AM
Keynote
9:00AM
Why do so few buildings fall down?
Brian Potter, Senior Infrastructure Fellow @ Institute for Progress
BREAK
Keynote
9:45AM
AI for formal methods and formal methods for AI
Ankush Desai, Principal Scientist, Systems Correctness @ Snowflake
BREAK
Keynote
11:00AM
Building confidence in an always-in-motion distributed streaming system
Frank McSherry, CTO & Chief Scientist @ Materialize
Lightning Talks
11:45AM
Symbolic Execution for Invariant Discovery (Not Just Bug Finding)
Checkpointing GPU state with VM snapshots
Keeping up with code being written 24/7
Anish Agarwal, Head of Product @ Olympix
Shivansh Vij, CEO @ Loophole Labs
Josh Ip, Founder & CEO @ Ranger
Lunch — 12:15PM
Keynote
1:30PM
Executable specs
Gabriela Moreira, Lead Developer for Quint @ Informal Systems
Keynote
2:15PM
Keynote
Steve Klabnik, Co-author @ The Rust Programming Language
Keynote
3:00PM
Closing address
Will Wilson, Co-founder & CEO @ Antithesis
END OF DAY 2
2025 Sessions
Watch All
Basher Updates
