SPLASH 2024 features keynotes by recognized experts in the field. This year we are honored to have the following four in person keynote speakers who will travel to Pasadena and deliver exciting talks:

Keynotes

Title
AI: Winter of Our Discontent
Keynotes
Everything is a Program (even if it's not)
Keynotes
Trillions of Formally Verified Authorizations a day!
Keynotes