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
SPLASH-E Keynote
Nicki Washington
Models and Programs: Better Together
Sriram Rajamani
Catching More Bugs with Fewer False Alarms
Jonathan Bell
Testing Deep Neural Networks
Mary Lou Soffa
Why Digital Agriculture is Fertile Ground for Software Systems Research
Vikram S. Adve
Towards Building Ethically-Sound Data-Driven Software
Brittany Johnson
Fitzcarraldo — or How to Hack Academia to Build Stuff
Jan Vitek
REBASE@Chicago Speakers
On the Future of Flight Software
Kristin Yvonne Rozier
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
Jean Yang
Lies we tell ourselves about developer infrastructure
Joe Pamer
Variant analysis
Aditya Sharad
Relational Reasoning in Object-based Programs
Anindya Banerjee
Co-Design for High-Performance Computing Software Systems
Min Si
PL and HCI: Better Together
Elena Glassman
Intermittent Computer Systems on Earth and in Space
Brandon Lucia
The impact of differentiable programming: how ∂P is enabling new science in Julia
Matt Bauman
Paparazzi, an open source UAV for research
Gautier Hattenberger
Enterprise-scale static analysis: A Pinpoint experience
Charles Zhang
JAX: accelerated machine learning research via composable function transformations in Python
Matthew J. Johnson
REBASE@Berlin Speakers
Towards the tower of Babel: a Polyglot Language VM in Java
Christian Humer
Quantitative Types in Idris 2
Edwin Brady
Developing the Wolfram Language Compiler
Tom Wickham-Jones
Miniaturize All States!
Mathieu Boespflug
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
Philippa Gardner
Probabilistic Programming: The What, Why and How
Maria I. Gorinova
Performance Really Matters
Emery D. Berger
SQLancer: Automatically Finding Bugs in Databases
Manuel Rigger
A Ray of Hope: Array Programming for the 21st Century
Gilad Bracha
Reliable Stack Traces, the Reality of Myth
Francesco Zappa Nardelli
Herding Nulls in Dart
Erik Ernst
Tales from the Frontlines: Startup War Stories
Cliff Click
Paradigms Without Progress: Kuhnian Reflections on Programming Practice
Jimmy Miller
Non-local compiler transformations in the presence of dynamic dispatch
Keno Fischer
Move Semantics for Nim
Andreas Rumpf
Technology Today: A Paucity of Integrity and Imagination
Robert Grimm
Inside Every Calculus Is A Little Algebra Waiting To Get Out
Erik Meijer
Speculation in Smart Contracts
Maurice Herlihy
Back to the Future! A History of UIs through Trends and Mass Culture
Paola Bisogno
| Gold Supporter | |
| Silver Supporter | |
| Silver Supporter | |
| Silver Supporter | |
| Bronze Supporter | |
| Sponsor | |
| Sponsor | |
| Gold Supporter (ECOOP) | |
| Gold Supporter (ECOOP) | |
| Bronze Supporter (ECOOP) | |
| Sponsor (ECOOP) |
Show all tracks