SPLASH 2024

The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.

SPLASH 2024 will be held in Pasadena, California, close to Los Angeles and all that southern California has to offer. SPLASH 2024 will include the co-located OOPSLA, Onward!, SAS, GPCE, and SLE conferences, SPLASH-E, and other exciting workshops and events. We couldn’t be more excited to host researchers and practitioners from all over the world in sunny California this fall!

See the welcome note from the chair.

Keynotes

Keynote

Abstract Domains for Machine Learning Verification

Caterina Urban

AI: Winter of Our Discontent

Richard P. Gabriel

Offer-safe Trade of Mutable Objects

Mark Miller

Trillions of Formally Verified Authorizations a day!

Neha Rungta

SIGPLAN Milner Award Talk

Armando Solar-Lezama

Everything is a Program (even if it's not)

Todd Millstein

A tour of CPython's runtime

Brandt Bucher

There Is Only One Time in Software (Language) Engineering!

Benoit Combemale

Interview with Alan Kay

Alan Kay, Gilad Bracha

Visualizing and Explaining Rust's Ownership Model

Will Crichton

For a more detailed timeline click here.