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:
- SPLASH-I for OOPSLA and ECOOP research papers;
- SPLASH-II for REBASE industry-oriented talks;
- 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:
Room | Sun, Nov 15 | Mon, Nov 16 | Tue, Nov 17 | Wed, Nov 18 | Thur, Nov 19 | Fri, Nov 20 |
---|---|---|---|---|---|---|
SPLASH IV | LPOP | REBLS | HATRA | SRC | SPLASH-E | |
SPLASH V | HILT | Scala | TAPAS | PLATEAU | ||
SPLASH VI | LIVE | HATRA | DocSymp | |||
Others | Tutorials |
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

Towards Building Ethically-Sound Data-Driven Software
Brittany Johnson

Testing Deep Neural Networks
Mary Lou Soffa

Catching More Bugs with Fewer False Alarms
Jonathan Bell

Fitzcarraldo — or How to Hack Academia to Build Stuff
Jan Vitek

Models and Programs: Better Together
Sriram Rajamani

Why Digital Agriculture is Fertile Ground for Software Systems Research
Vikram S. Adve

SPLASH-E Keynote
Nicki Washington
REBASE@Chicago Speakers

JAX: accelerated machine learning research via composable function transformations in Python
Matthew J. Johnson

Paparazzi, an open source UAV for research
Gautier Hattenberger

Intermittent Computer Systems on Earth and in Space
Brandon Lucia

On the Future of Flight Software
Kristin Yvonne Rozier

Lies we tell ourselves about developer infrastructure
Joe Pamer

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

Co-Design for High-Performance Computing Software Systems
Min Si

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

PL and HCI: Better Together
Elena Glassman

Variant analysis
Aditya Sharad

Enterprise-scale static analysis: A Pinpoint experience
Charles Zhang

Relational Reasoning in Object-based Programs
Anindya Banerjee
REBASE@Berlin Speakers

Probabilistic Programming: The What, Why and How
Maria I. Gorinova

Paradigms Without Progress: Kuhnian Reflections on Programming Practice
Jimmy Miller

Non-local compiler transformations in the presence of dynamic dispatch
Keno Fischer

Speculation in Smart Contracts
Maurice Herlihy

Quantitative Types in Idris 2
Edwin Brady

Miniaturize All States!
Mathieu Boespflug

Performance Really Matters
Emery D. Berger

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

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

Herding Nulls in Dart
Erik Ernst

Developing the Wolfram Language Compiler
Tom Wickham-Jones

Reliable Stack Traces, the Reality of Myth
Francesco Zappa Nardelli

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

SQLancer: Automatically Finding Bugs in Databases
Manuel Rigger

Inside Every Calculus Is A Little Algebra Waiting To Get Out
Erik Meijer

Tales from the Frontlines: Startup War Stories
Cliff Click

Move Semantics for Nim
Andreas Rumpf

Technology Today: A Paucity of Integrity and Imagination
Robert Grimm
