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