SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching and reporting on programming language and software engineering research.

The Character of Onward!

Onward! Papers is looking for grand visions and new paradigms that could make a big difference in how we will one day build software. But it is not looking for research-as-usual papers—conferences like OOPSLA are the place for that. Those conferences require rigorous validation such as theorems or empirical experiments, which are necessary for scientific progress, but which typically preclude discussion of early-stage ideas. Onward! papers must also supply some degree of validation because mere speculation is not a good basis for progress. However, Onward! accepts less rigorous methods of validation such as compelling arguments, exploratory implementations, and substantial examples. The use of worked-out examples to support new ideas is strongly encouraged.

Accepted Papers

Title
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Onward! Papers
DOI
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
Kotlin Coroutines: Design and ImplementationVirtual
Onward! Papers
DOI
Motivating Complexity Understanding by Profiling Energy UsageVirtual
Onward! Papers
DOI
Natural Language-Guided ProgrammingVirtual
Onward! Papers
DOI
Onward! WelcomeVirtual
Onward! Papers

Programming with Neural Surrogates of ProgramsIn-Person
Onward! Papers
DOI
SkyQuery: An Aerial Drone Video Sensing PlatformVirtual
Onward! Papers
DOI
Towards Self-Adaptable LanguagesVirtual
Onward! Papers
DOI

Call for Papers

Selection Process

Onward! papers are peer-reviewed in a double blind manner. Accepted papers will appear in the Onward! Proceedings in the ACM Digital Library. Submissions will be judged on the potential impact of the ideas and the quality of the presentation.

Onward! Papers follows a two-phase review process. This enables us to welcome papers that contain promising ideas and have the potential to meet the conference’s standards, but which may fall short of this in the initial submission. At the end of the first phase, all papers will be either: accepted normally; or asked to perform certain required revisions; or rejected outright. The authors of papers asked to perform revisions will get one month to complete the revisions, at which point the original reviewers decide on the final acceptance of the paper. All papers will thus remain under submission until the authors receive notification of acceptance or rejection.

We expect the typical strong submission to be accepted normally, with authors expected—as is conventional—to revise the paper using the program committee’s feedback.

The program committee may identify certain papers with promising ideas as needing important revisions. These papers will be handled in one of two ways. They may be assigned a shepherd, in the tradition followed by numerous conferences. Otherwise, they will be given a concrete set of goals to accomplish in the revision. In the latter case, the second submission must then be accompanied by a cover letter mapping the revision requests to specific parts of the paper; the program committee will use the cover letter and revised submission to arrive at a final decision.

The second phase will only be used to elevate promising papers to the conference’s standard, not to require additional work of papers already deemed up-to-standard.

Instructions for Authors

For fairness reasons, all submitted papers should conform to the formatting instructions (see below). Submissions that violate these instructions may be rejected without review, at the discretion of the Program Chair.

Submission Site

https://onward2021papers.hotcrp.com/

Concurrent Submissions

Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Policy on Double Blind Review

Onward! 2020 is using a double-blind submission process. This means that authors will not know who reviewed their papers, and reviewers will not know who authored the papers they review. The aim of double-blind is to treat all papers with minimal bias. Authors must take the following actions to prepare their papers for double-blind reviewing:

  • Remove identifying information (names, institutions, etc) from the author block of the first page of the paper.
  • To the extent possible, when authors cite their own work, they should refer to it in the third person.
  • To the extent possible, authors should remove any other potentially identifying information, such as acknowledgements.

After submitting their review, reviewers will be able to see author identities. When the paper is accepted for publication, the camera-ready copy must not be blinded.

See OOPSLA’s FAQ on double-blind reviewing for more information. Please contact the PC chair if you have any questions.

Policy on Authorship Changes

Any addition of authors after initial submission of a paper must be cleared with the PC chair. Authors are very strongly advised to list all authors prior to initial submission as the addition of authors may create new conflicts with the PC. In all cases, the PC chair must be provided with a rationale. The PC chair has the authority to reject any requested change.

Format

Submissions should use ACM SIGPLAN Conference acmart Format, sigplan sub-format and 10 point font. All submissions should be in PDF format.

If you are formatting your paper using LaTeX, you will need to use the sigplan, anonymous and review options. Note that by default the SIGPLAN template produces two-column, 9 point papers, but you will need to you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission. Setting the review option in the LaTeX \documentclass command generates page numbers, and the anonymous option hides author names. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Page Limit

To ensure that papers stay focused on their core contributions, the main part of the paper (excluding bibliographic references) should be no longer than 13 pages. There is no page limit for bibliographic references and appendices, and, therefore, for the overall submission. However, reviewers are not obligated to read the appendices, so the main part of the paper should be self contained. If the paper is accepted, the final submission will be limited to 17 pages. (The 13-page limit for the main body of the paper no longer applies.)

Publication (Digital Library Early Access Warning)

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

More Information

For additional information, clarification, or answers to questions please contact the Program Chair via onward@splashcon.org

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:20
Opening SessionOpening at Zurich D +8h
09:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
09:00 - 09:01
SPLASH StartOpening at Zurich D
09:00
1m
Day opening
SPLASH Conference at Chicago Starts NowIn-Person
Opening

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich D +8h
09:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
10:50 - 12:10
Onward! Paper Session 1Onward! Papers at Zurich C +8h
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
10:50
15m
Day opening
Onward! WelcomeVirtual
Onward! Papers

11:05
15m
Talk
Natural Language-Guided ProgrammingVirtual
Onward! Papers
Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs
DOI
11:20
15m
Talk
Towards Self-Adaptable LanguagesVirtual
Onward! Papers
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
DOI
11:35
15m
Talk
Programming with Neural Surrogates of ProgramsIn-Person
Onward! Papers
Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

13:50 - 15:10
Onward! Paper Session 2Onward! Papers at Zurich C +8h
Chair(s): Christophe Scholliers Universiteit Gent, Belgium
13:50
15m
Talk
Kotlin Coroutines: Design and ImplementationVirtual
Onward! Papers
Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains
DOI
14:05
15m
Talk
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Onward! Papers
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
DOI
14:20
15m
Talk
Motivating Complexity Understanding by Profiling Energy UsageVirtual
Onward! Papers
Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay
DOI
14:35
15m
Talk
SkyQuery: An Aerial Drone Video Sensing PlatformVirtual
Onward! Papers
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
DOI
14:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

17:00 - 18:50
ReceptionOpening at Zurich B
17:00
1h50m
Other
ReceptionIn-Person
Opening

17:00 - 17:20
Opening SessionOpening at Zurich D
17:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich D
17:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
18:50 - 20:10
Onward! Paper Session 1Onward! Papers at Zurich C
Chair(s): Shigeru Chiba The University of Tokyo
18:50
15m
Day opening
Onward! WelcomeVirtual
Onward! Papers

19:05
15m
Talk
Natural Language-Guided ProgrammingVirtual
Onward! Papers
Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs
DOI
19:20
15m
Talk
Towards Self-Adaptable LanguagesVirtual
Onward! Papers
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
DOI
19:35
15m
Talk
Programming with Neural Surrogates of ProgramsIn-Person
Onward! Papers
Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
19:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

21:50 - 23:10
Onward! Paper Session 2Onward! Papers at Zurich C
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
21:50
15m
Talk
Kotlin Coroutines: Design and ImplementationVirtual
Onward! Papers
Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains
DOI
22:05
15m
Talk
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Onward! Papers
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
DOI
22:20
15m
Talk
Motivating Complexity Understanding by Profiling Energy UsageVirtual
Onward! Papers
Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay
DOI
22:35
15m
Talk
SkyQuery: An Aerial Drone Video Sensing PlatformVirtual
Onward! Papers
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
DOI
22:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

Fri 22 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:05
SPLASH 2022 IntroductionOpening at Zurich D +8h
09:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
09:05 - 09:20
AwardsAwards at Zurich D +8h
Chair(s): Işıl Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London
09:05
15m
Awards
SPLASH Awards
Awards

09:20 - 10:20
Onward! Keynote TalkOnward! Papers at Zurich D +8h
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
09:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
15:10 - 17:00
Closing SessionClosing at Zurich D
15:10
1h50m
Day closing
Ice Cream Social
Closing
Hridesh Rajan Iowa State University
17:00 - 17:05
SPLASH 2022 IntroductionOpening at Zurich D
17:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
17:05 - 17:20
AwardsAwards at Zurich D
17:05
15m
Awards
SPLASH Awards
Awards

17:20 - 18:20
Onward! Keynote TalkOnward! Papers at Zurich D
Chair(s): Elisa Baniassad University of British Columbia
17:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University