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

SIGPLAN Milner Award Talk

Armando Solar-Lezama

Trillions of Formally Verified Authorizations a day!

Neha Rungta

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

Benoit Combemale

Offer-safe Trade of Mutable Objects

Mark Miller

Keynote

Abstract Domains for Machine Learning Verification

Caterina Urban

AI: Winter of Our Discontent

Richard P. Gabriel

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

Todd Millstein

A tour of CPython's runtime

Brandt Bucher

Visualizing and Explaining Rust's Ownership Model

Will Crichton

Interview with Alan Kay

Alan Kay, Gilad Bracha

For a more detailed timeline click here.