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
SIGPLAN Milner Award Talk
Keynotes
Trillions of Formally Verified Authorizations a day!
Keynotes
Dates
Tracks
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 23 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote - Todd MillsteinKeynotes at IBR Ballroom
09:00
70m
Keynote
Everything is a Program (even if it's not)
Keynotes
Todd Millstein University of California, Los Angeles
10:10 - 10:40
Coffee BreakCatering at Foyer
10:10
30m
Coffee break
Break
Catering

Thu 24 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote - Richard GabrielKeynotes at IBR Ballroom
09:00
70m
Keynote
AI: Winter of Our Discontent
Keynotes
10:10 - 10:40
Coffee BreakCatering at Foyer
10:10
30m
Coffee break
Break
Catering

Fri 25 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Keynote - Neha RungtaKeynotes at IBR Ballroom
09:00
90m
Keynote
Trillions of Formally Verified Authorizations a day!
Keynotes
Neha Rungta Amazon Web Services
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

12:20 - 13:50
SIGPLAN Milner Award Talk - Armando Solar-LezamaKeynotes at California
12:20
90m
Keynote
SIGPLAN Milner Award Talk
Keynotes
Armando Solar-Lezama Massachusetts Institute of Technology
12:20 - 13:50
Lunch and AwardsCatering at California
12:20
90m
Lunch
Awards Lunch
Catering