April 22
OPTIONAL SEMINARS
Day 0
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
April 23
Day 1
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
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
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