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

Visualizing and Explaining Rust's Ownership Model

Will Crichton

Offer-safe Trade of Mutable Objects

Mark Miller

AI: Winter of Our Discontent

Richard P. Gabriel

A tour of CPython's runtime

Brandt Bucher

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

Interview with Alan Kay

Alan Kay, Gilad Bracha

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

Benoit Combemale

For a more detailed timeline click here.