SPLASH 2021

Welcome

Welcome to SPLASH 2021, the ACM SIGPLAN 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 took place Sunday October 17th to Friday 22th in Chicago as well as virtually. Thank you speakers, student volunteers, and attendees for making SPLASH a great conference.

SPLASH 2021 required in-person attendees to be fully vaccinated, as defined by the Center for Disease Control (CDC). According to the CDC, attendees “are considered fully vaccinated (a) 2 weeks after their second dose in a 2-dose series, such as the Pfizer or Moderna vaccines, or (b) 2 weeks after a single-dose vaccine, such as Johnson & Johnson’s Janssen vaccine. If you don’t meet these requirements, regardless of your age, you are NOT fully vaccinated.” SPLASH 2021 offered virtual attendance options for those individuals who are not fully vaccinated. Vaccination validation was conducted by a vendor contracted by the ACM to perform this validation for the SPLASH 2021 conference. Masks were required at SPLASH 2021.

The virtual attendance option was available to unvaccinated attendees.

SPLASH Keynotes

Keynote

Integrated Scientific Modeling and Lab Automation

Luca Cardelli

VirtualKeynote

Designing Safe Programmed Molecular Systems

Robyn Lutz

Keynote

Exascale and then what?: HPC and AI for Scientific Discovery

Rick Stevens

Ask Me Anything

AMAIn-Person

Invited Speaker

Robert Rand

AMAVirtual

Invited Speaker

Ashley Williams

AMAVirtual

Invited Speaker

Leslie Lamport

AMAVirtual

Invited Speaker

Martin Abadi

AMAVirtual

Invited Speaker

Heidy Khlaaf

Invited Speakers @ Workshops & Co-located Conferences

Keynote

Software as Computational Media

Clemens Nylandsted Klokmose

VirtualKeynote

GPCE Keynote - Live Programming and Programming by Example: Better Together

Sorin Lerner

In-PersonKeynote

SLE Keynote - Integrating Usability into Programming Language Design

Jonathan Aldrich

Keynote

GraalVM Native Image: Large-scale static analysis for Java

Christian Wimmer

Keynote

Cross-Domain Compilation: Exploiting Synergies Across the CS Community

Tobias Grosser

Invited TalkVirtual

Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts

Mooly Sagiv

Keynote

Reflections on a decade of MoarVM, a runtime for the Raku programming language

Jonathan Worthington

Invited TalkVirtual

Oracle Parfait: The Flavour of Real-World Vulnerability Detection and Intelligent Configuration

Cristina Cifuentes

Invited TalkVirtual

Interactive Code Analysis

Gerard Holzmann

Keynote

Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)

Timothy Bourke