A conference on software reliability...
and some other things.

JOIN US— at The Eaton Hotel in
Downtown DC, April 22-24.

GET TICKETS NOW
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 Now
Agenda
DAY 0
April 22
2:00PM
Seminar
Formal Methods
2:00PM
Speakers TBD
Integrating formal verification into AI-assisted development workflows
BREAK
Seminar
Masterclass
3:15PM
Speakers TBD
(Almost) correct-by-design: Designing a lakehouse for the age of untrusted agents
BREAK
Seminar
DST
4:30PM
Speakers TBD
Automated verification of distributed systems
Opening Party
8:00PM
Wild Days - Rooftop @The Eaton
1201 K St NW, Washington, DC 20005
DAY 1
April 23
8:00AM
BREAKFAST — 8:00AM
Keynote
9:00AM
Will Wilson, Co-founder & CEO @Antithesis
Opening Keynote
Keynote
9:45AM
Debra Chachra, Professor of Engineering @Olin College
Topic TBD
BREAK
Keynote
11:00AM
Peter Alvaro, Associate Professor of Computer Science @UC Santa Cruz
Where all the ladders start
Lightning Talks
11:45AM
Fernanda Graciolli & Nada Amin, Co-Founders of Midspiral
Jenny Qu, AI Researcher @Pebblebed
Pierre Zemb, Staff Engineer @Clever Code
Topics TBD
Lunch — 12:15PM
Keynote
1:30PM
Ben Eggers, Member of Technical Staff @OpenAI
Informal Methods
Keynote
2:00PM
Ron Minsky, Co-head of Technology @Jane Street
Topic TBD
Break
KEYNOTE
3:15PM
Chaitanya Bhandari, Distributed Systems Engineer @TigerBeetle
Protocol-aware deterministic simulation testing
KEYNOTE
3:45pm
Matt Barrett, Founder & CEO @Adaptive
Topic TBD
BREAK
KEYNOTE
4:30PM
Corwin, Uber Tech Lead, Parallel File Systems @Google
Topic TBD
END OF DAY 1
RECEPTION
6:00PM
Supra
1205 11th St NW, Washington, DC 20001
DAY 2
April 24
8:00AM
BREAKFAST — 8:00AM
Seminar
9:00AM
Brian Potter, Senior Infrastructure Fellow @Institute for Progress
Why do so few buildings fall down?
BREAK
Seminar
9:45AM
Ankush Desai, Principal Scientist, Systems Correctness @Snowflake
Topic TBD
BREAK
Keynote
11:00AM
Frank McSherry, CTO & Chief Scientist @Materialize
Building confidence in an always-in-motion distributed streaming system
Lightning Talks
11:45AM
Anish Agarwal, Head of Product @Olympix
Shivansh Vij, CEO @Loophole Labs
Josh Ip, Founder & CEO @Ranger
Topics TBD
Lunch — 12:15PM
Keynote
1:30PM
Gabriela Moreira, Lead Developer for Quint @Informal Systems
Topic TBD
Keynote
2:00PM
Steve Klabnik, Co-author of The Rust Programming Language
Topic TBD
END OF DAY 2
2025 Sessions
Watch All
Basher Updates