Agenda
April 22
OPTIONAL SEMINARS
Day 0
REGISTRATION OPENS — 1: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
Consensus in practice
Marco Primi, Chaos Monkey @ Antithesis
Seminar
Testing masterclass
2:00PM
A world without code review
Carl Sverre, Senior Software Engineer @ Antithesis
BREAK — 3:00PM
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
Seminar
Testing masterclass
3:15PM
Advanced Antithesis testing tactics
Lawrie Green & Connor McKee, Forward Deployed Engineers @ Antithesis
BREAK — 4:15PM
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
SEMINARS END — 5:30PM
April 23
Day 1
BREAKFAST — 8:00AM
Keynote
9:00AM
We won, what now?
Will Wilson, Co-founder & CEO @ Antithesis
Keynote
9:45AM
Where all the ladders start
Peter Alvaro, Associate Professor of Computer Science @ UC Santa Cruz
BREAK — 10:30AM
Keynote
11:00AM
From dams to data: how to think about infrastructure
Deb Chachra, Professor of Engineering @ Olin College
Lightning Talks
11:45AM
Formal verification in the web dev workflow
What 20 years of kernel bugs taught us about finding the next one
Old Tom Bombadil is a merry fuzzer!
Fernanda Graciolli, Co-Founder @ Midspiral
Jenny Qu, AI Researcher @ Pebblebed
Oskar Wickström, Senior Software Engineer @ Antithesis
Lunch — 12:15PM
Keynote
1:30PM
Informal methods
Ben Eggers, Member of Technical Staff @ OpenAI
Keynote
2:00PM
Now more than ever: building reliable software in the age of agents
Ron Minsky, Co-head of Technology @ Jane Street
BREAK — 3:00PM
KEYNOTE
3:30PM
Protocol-aware deterministic simulation testing
Chaitanya Bhandari, Distributed Systems Engineer @ TigerBeetle
KEYNOTE
4:00pm
Fast and fault-tolerant: pick two
Matt Barrett, Founder & CEO @ Adaptive
BREAK — 4:30PM
KEYNOTE
4:45PM
Making high performance storage boring
corwin, Uber Tech Lead, Parallel File Systems @ Google
END OF DAY 1 — 5:30PM
April 24
Day 2
BREAKFAST — 8:00AM
Keynote
9:00AM
Why do so few buildings fall down?
Brian Potter, Senior Infrastructure Fellow @ Institute for Progress
Keynote
9:30AM
Gary Marcus in conversation
with Will Wilson
BREAK — 10:15AM
Keynote
10:45AM
Building confidence in an always-in-motion distributed streaming system
Frank McSherry, CTO & Chief Scientist @ Materialize
Lightning Talks
11:30AM
Borrowing FoundationDB's simulator for layer development
Symbolic execution for invariant discovery (not just bug finding)
Full system fuzzing for Bitcoin
Pierre Zemb, Staff Engineer @ Clever Cloud
Anish Agarwal, Head of Product @ Olympix
Niklas Gögge, Security Engineer @ Brink
Lunch — 12:00PM
Lightning Talks
1:30PM
Verifying Cedar Policy’s correctness with PBT & differential response testing
CUDA over TCP: reverse engineering the CUDA API
Keeping up with code being written 24/7
Lucas Käldström, Staff Engineer @ Upbound
Shivansh Vij, CEO @ Loophole Labs
Josh Ip, Founder & CEO @ Ranger
Keynote
2:00PM
Behaviors as the backbone of software correctness
Gabriela Moreira, CEO @ Quint
Keynote
2:45PM
Steel, Rust, and truth
Steve Klabnik, Co-author @ The Rust Programming Language
Keynote
3:30PM
Closing address
Will Wilson, Co-founder & CEO @ Antithesis
END OF DAY 2 — 4:00PM