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
![Vikram S. Adve](https://2020.splashcon.org/getProfileImage/vikramadve/a99a9248-20e3-4738-9200-173c353c5fcb/avatar.jpg?1711468924000)
Why Digital Agriculture is Fertile Ground for Software Systems Research
Vikram S. Adve
![Jonathan Bell](https://2020.splashcon.org/getProfileImage/jonathanbell/2a358d37-c5d4-43ba-9a56-74cdb05f039c/avatar.jpg?1711551152000)
Catching More Bugs with Fewer False Alarms
Jonathan Bell
![Mary Lou Soffa](https://2020.splashcon.org/getProfileImage/marylousoffa/40ba6646-fc3d-49d6-937a-c663f01f3942/avatar.jpg?1711461155000)
Testing Deep Neural Networks
Mary Lou Soffa
![Jan Vitek](https://2020.splashcon.org/getProfileImage/janvitek/0077c789-2207-4b3e-a57f-053477f1d7b4/avatar.jpg?1711454624000)
Fitzcarraldo — or How to Hack Academia to Build Stuff
Jan Vitek
![Nicki Washington](https://2020.splashcon.org/getProfileImage/nickiwashington/554b297e-3004-4abe-89e8-f08cb4202c12/avatar.jpg?1713885446000)
SPLASH-E Keynote
Nicki Washington
![Brittany Johnson](https://2020.splashcon.org/getProfileImage/brittanyjohnson/0f798300-3acb-4bd2-b6cc-ad6e59fe7007/avatar.jpg?1711474127000)
Towards Building Ethically-Sound Data-Driven Software
Brittany Johnson
![Sriram Rajamani](https://2020.splashcon.org/getProfileImage/sriramrajamani/85dbb2f3-41e7-493b-af72-d9a3338eea4e/avatar.jpg?1711461799000)
Models and Programs: Better Together
Sriram Rajamani
REBASE@Chicago Speakers
![Charles Zhang](https://2020.splashcon.org/getProfileImage/charleszhang/059321fa-d896-44bf-b4a8-02ec597c0b3b/avatar.jpg?1711476149000)
Enterprise-scale static analysis: A Pinpoint experience
Charles Zhang
![Anindya Banerjee](https://2020.splashcon.org/getProfileImage/anindyabanerjee1/7f6500d0-6c03-4faa-b5e6-0d8e93a8a589/avatar.jpg?1713419741000)
Relational Reasoning in Object-based Programs
Anindya Banerjee
![Gautier Hattenberger](https://2020.splashcon.org/getProfileImage/gautierhattenberger/a799856f-c948-40c1-8ee2-aab746ddb41b/avatar.jpg?1712308098000)
Paparazzi, an open source UAV for research
Gautier Hattenberger
![Joe Pamer](https://2020.splashcon.org/getProfileImage/joepamer/8638da18-a5b0-4543-9d00-fd4b97be5d14/avatar.jpg?1714856929000)
Lies we tell ourselves about developer infrastructure
Joe Pamer
![Elena Glassman](https://2020.splashcon.org/getProfileImage/elenaglassman/a670835f-5e4e-4b41-ab65-4dabd8b47163/avatar.jpg?1711471785000)
PL and HCI: Better Together
Elena Glassman
![Jean Yang](https://2020.splashcon.org/getProfileImage/jeanyang/be7879c9-e0d3-4a7c-af5c-7aec4693cc67/avatar.jpg?1711488025000)
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
Jean Yang
![Brandon Lucia](https://2020.splashcon.org/getProfileImage/brandonlucia/e10fc900-d74f-44e7-a793-5e2f21a7dd0b/avatar.jpg?1711469523000)
Intermittent Computer Systems on Earth and in Space
Brandon Lucia
![Kristin Yvonne Rozier](https://2020.splashcon.org/getProfileImage/kristinyvonnerozier/6da96576-6d4d-492d-8631-0d8ef350b15a/avatar.jpg?1711473638000)
On the Future of Flight Software
Kristin Yvonne Rozier
![Matt Bauman](https://2020.splashcon.org/getProfileImage/mattbauman/d7111f63-4de2-423b-904f-d652ac16868b/avatar.jpg?1714855392000)
The impact of differentiable programming: how ∂P is enabling new science in Julia
Matt Bauman
![Min Si](https://2020.splashcon.org/getProfileImage/minsi/b566ccd5-1498-4770-923d-94635bfad191/avatar.jpg?1714856935000)
Co-Design for High-Performance Computing Software Systems
Min Si
![Aditya Sharad](https://2020.splashcon.org/getProfileImage/adityasharad/351f82e8-42c7-4626-919d-e83d730c65e8/avatar.jpg?1714856950000)
Variant analysis
Aditya Sharad
![Matthew J. Johnson](https://2020.splashcon.org/getProfileImage/matthewjohnson/d06977df-f110-4a5a-bf5b-17ffc55c612c/avatar.jpg?1711544875000)
JAX: accelerated machine learning research via composable function transformations in Python
Matthew J. Johnson
REBASE@Berlin Speakers
![Francesco Zappa Nardelli](https://2020.splashcon.org/getProfileImage/francescozappanardelli/e7d164ff-66ed-4309-b99f-60e2f77f7b02/avatar.jpg?1711466896000)
Reliable Stack Traces, the Reality of Myth
Francesco Zappa Nardelli
![Gilad Bracha](https://2020.splashcon.org/getProfileImage/giladbracha/66fe962c-9388-4df3-aaaa-677a8e2e64df/avatar.jpg?1711471951000)
A Ray of Hope: Array Programming for the 21st Century
Gilad Bracha
![Christian Humer](https://2020.splashcon.org/getProfileImage/christianhumer/7a395af3-35b6-4728-81d5-bf478224f957/avatar.jpg?1714854591000)
Towards the tower of Babel: a Polyglot Language VM in Java
Christian Humer
![Robert Grimm](https://2020.splashcon.org/getProfileImage/robertgrimm/00645048-2d05-48ed-ae6f-50c441f41179/avatar.jpg?1711632335000)
Technology Today: A Paucity of Integrity and Imagination
Robert Grimm
![Emery D. Berger](https://2020.splashcon.org/getProfileImage/emeryberger/6187feeb-700c-48d5-aceb-6d7b87490a7a/avatar.jpg?1711484559000)
Performance Really Matters
Emery D. Berger
![Maria I. Gorinova](https://2020.splashcon.org/getProfileImage/mariaigorinova/d9555ab1-6d7e-4631-bcc7-2f6ed701a677/avatar.jpg?1714856968000)
Probabilistic Programming: The What, Why and How
Maria I. Gorinova
![Philippa Gardner](https://2020.splashcon.org/getProfileImage/philippagardner/d645a8b7-abfb-4f27-a817-89bda3a0474b/avatar.jpg?1711468354000)
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
Philippa Gardner
![Erik Meijer](https://2020.splashcon.org/getProfileImage/erikmeijer/2de8797d-3c6d-49ed-bd16-411c42729d1a/avatar.jpg?1711487042000)
Inside Every Calculus Is A Little Algebra Waiting To Get Out
Erik Meijer
![Mathieu Boespflug](https://2020.splashcon.org/getProfileImage/mathieuboespflug/d2f9f65c-7443-4bb7-babc-b05fae9cfd09/avatar.jpg?1711517159000)
Miniaturize All States!
Mathieu Boespflug
![Cliff Click](https://2020.splashcon.org/getProfileImage/cliffclick/73d11404-ae6e-4004-80e3-b75f7f40656b/avatar.jpg?1714187197000)
Tales from the Frontlines: Startup War Stories
Cliff Click
![Keno Fischer](https://2020.splashcon.org/getProfileImage/kenofischer/f93e133a-a06d-4ef8-b033-617f3de5f124/avatar.jpg?1714856952000)
Non-local compiler transformations in the presence of dynamic dispatch
Keno Fischer
![Manuel Rigger](https://2020.splashcon.org/getProfileImage/manuelrigger/8da006d1-d147-4f45-bdcc-650e5b018c4a/avatar.jpg?1711456304000)
SQLancer: Automatically Finding Bugs in Databases
Manuel Rigger
![Maurice Herlihy](https://2020.splashcon.org/getProfileImage/mauriceherlihy/4575a6dc-8eb6-4ad9-9274-3e3e44b3a767/avatar.jpg?1711508787000)
Speculation in Smart Contracts
Maurice Herlihy
![Tom Wickham-Jones](https://2020.splashcon.org/getProfileImage/tomwickhamjones/c2591b77-367a-4ebb-906d-6c2276ff832b/avatar.jpg?1714856962000)
Developing the Wolfram Language Compiler
Tom Wickham-Jones
![Jimmy Miller](https://2020.splashcon.org/getProfileImage/jimmymiller/48f1e219-46de-4663-a232-dc65aed8db58/avatar.jpg?1714856956000)
Paradigms Without Progress: Kuhnian Reflections on Programming Practice
Jimmy Miller
![Paola Bisogno](https://2020.splashcon.org/getProfileImage/paolabisogno/b18c4e30-e2df-4007-8577-569ba8ea1b4e/avatar.jpg?1714856966000)
Back to the Future! A History of UIs through Trends and Mass Culture
Paola Bisogno
![Erik Ernst](https://2020.splashcon.org/getProfileImage/erikernst/dbb8033d-763a-4571-90ef-c750ed5f597b/avatar.jpg?1711462886000)
Herding Nulls in Dart
Erik Ernst
![Andreas Rumpf](https://2020.splashcon.org/getProfileImage/andreasrumpf/3cb46887-2b31-420e-898c-12dfedd580c8/avatar.jpg?1713090696000)
Move Semantics for Nim
Andreas Rumpf
![Edwin Brady](https://2020.splashcon.org/getProfileImage/edwinbrady/cbff36d2-7476-402e-bc2c-e84d1ceb0ab5/avatar.jpg?1714839709000)