SPLASH 2020

Welcome to SPLASH 2020, 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 takes place Sunday November 15th to Friday 20th.

Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams here; however, you wouldn’t be able to ask questions and interact with the attendees.

NEW: Watch a quick 6-minute instructional video on How to Attend SPLASH 2020 here: https://www.youtube.com/watch?v=bFiiuIEBG5I

VIRTUAL SPLASH has three main streams:

1. SPLASH-I for OOPSLA and ECOOP research papers;
2. SPLASH-II for REBASE industry-oriented talks;
3. SPLASH-III for the major co-located events: GPCE/SLE on Sunday/Monday; Onward! Papers and Essays on Tuesday; SAS/DLS on Wednesday/Thursday; and OOPSLA research papers on Friday.

MIRRORING In what we think is world first, SPLASH will do 12 hour mirroring, each conference days will be exactly 12 hours long with every single talk scheduled to repeat with a 12 hour delay. Therefore: whatever YOUR time zone happens to be, you can attend SPLASH during any convenient 12 hour block. For example: Alex from New Zealand plans to attend between 8am and 8pm NZ Standard Time; Jan from Czechia plans to attend between 8am and 8pm Central European Time, while Hridesh from Iowa plans to attend between 9am and 9pm Central Daylight Time! We made a two minute video explaining how mirroring works and why we’re using it.

Workshops will take place outside the main three streams in virtual rooms SPLASH IV-VI. Please consult this table for details and login to SPLASH Clowdr to enter these rooms:

SPLASH has multiple keynotes and invited industrial talks. These talks are followed by Ask Me Anything questions where you can engage with our speakers.

SPLASH Keynotes

supported by IBM Research

Why Digital Agriculture is Fertile Ground for Software Systems Research

Vikram S. Adve

supported by Futurewei

Models and Programs: Better Together

Sriram Rajamani

Towards Building Ethically-Sound Data-Driven Software

Brittany Johnson

Testing Deep Neural Networks

Mary Lou Soffa

SPLASH-E Keynote

Nicki Washington

AMAsupported by Facebook

Fitzcarraldo — or How to Hack Academia to Build Stuff

Jan Vitek

AMA

Catching More Bugs with Fewer False Alarms

Jonathan Bell

REBASE@Chicago Speakers

Enterprise-scale static analysis: A Pinpoint experience

Charles Zhang

JAX: accelerated machine learning research via composable function transformations in Python

Matthew J. Johnson

Relational Reasoning in Object-based Programs

Anindya Banerjee

Intermittent Computer Systems on Earth and in Space

Brandon Lucia

AMA

Lies we tell ourselves about developer infrastructure

Joe Pamer

AMA

Variant analysis

Aditya Sharad

AMA

The impact of differentiable programming: how ∂P is enabling new science in Julia

Matt Bauman

Paparazzi, an open source UAV for research

Gautier Hattenberger

AMA

APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming

Jean Yang

On the Future of Flight Software

Kristin Yvonne Rozier

Co-Design for High-Performance Computing Software Systems

Min Si

AMA

PL and HCI: Better Together

Elena Glassman

REBASE@Berlin Speakers

Miniaturize All States!

Mathieu Boespflug

AMA

Technology Today: A Paucity of Integrity and Imagination

Robert Grimm

Non-local compiler transformations in the presence of dynamic dispatch

Keno Fischer

SQLancer: Automatically Finding Bugs in Databases

Manuel Rigger

AMA

Paradigms Without Progress: Kuhnian Reflections on Programming Practice

Jimmy Miller

AMA

Tales from the Frontlines: Startup War Stories

Cliff Click

AMA

Herding Nulls in Dart

Erik Ernst

Towards the tower of Babel: a Polyglot Language VM in Java

Christian Humer

Move Semantics for Nim

Andreas Rumpf

AMA

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Philippa Gardner

AMA

Speculation in Smart Contracts

Maurice Herlihy

AMA

Quantitative Types in Idris 2

Edwin Brady

AMA

Reliable Stack Traces, the Reality of Myth

Francesco Zappa Nardelli

Developing the Wolfram Language Compiler

Tom Wickham-Jones

Inside Every Calculus Is A Little Algebra Waiting To Get Out

Erik Meijer

Back to the Future! A History of UIs through Trends and Mass Culture

Paola Bisogno

AMA

Probabilistic Programming: The What, Why and How

Maria I. Gorinova

AMA

Performance Really Matters

Emery D. Berger

A Ray of Hope: Array Programming for the 21st Century

Gilad Bracha