SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, applications and education. 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! is looking for grand visions and new paradigms that could make a big difference in how we will one day build software. Put differently, Onward! 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 larger, bolder or less mature ideas. Since mere speculation is not a good basis for progress, Onward! papers must also supply some degree of validation. However, Onward! accepts less exact 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.

Onward! is reaching out for constructive criticism of current software development technology and practices, and for ideas that could change the realm of software development. Experienced researchers, graduate students, practitioners, and anyone else dissatisfied with the state of our art is welcomed and encouraged to share their insights.

Onward! welcomes your submissions to join the conversation, for the good of our field.

Accepted Papers

Title
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Onward! Papers
Link to publication
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
Link to publication Pre-print Media Attached
A principled approach to REPL interpreters
Onward! Papers
Link to publication DOI Pre-print
Demystifying Dependence
Onward! Papers
Link to publication
End-User Software Customization by Direct Manipulation of Tabular Data
Onward! Papers
Link to publication Pre-print
Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Onward! Papers
Link to publication DOI Pre-print Media Attached
Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Onward! Papers
Link to publication

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

Authors are asked to register a title and brief abstract by the end of 17th May, using the submission site. This will help to ensure a careful and thorough review process. However, following a request, fresh submissions are still being accepted up until the paper deadline of 23rd May.

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://onward2020papers.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
Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Nov

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

09:00 - 10:20
T-2-OnwardOnward! Papers / Onward! Essays at SPLASH-III +12h
Chair(s): Avraham Shinnar IBM Research
09:00
20m
Talk
Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Onward! Papers
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany
Link to publication DOI Pre-print Media Attached
09:20
20m
Talk
End-User Software Customization by Direct Manipulation of Tabular Data
Onward! Papers
Link to publication Pre-print
09:40
20m
Talk
Discussion of Aviation Software Oversight Improvement
Onward! Essays
Marc Ronell U.S. Federal Aviation Administration
Link to publication DOI
10:00
20m
Talk
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Onward! Papers
Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University
Link to publication
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

11:00 - 12:20
T-3-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h
Chair(s): William Cook University of Texas at Austin, Stephen Kell University of Kent
11:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas Thakur IIT Mandi
Link to publication DOI Pre-print
11:20
20m
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego
Link to publication DOI
11:40
20m
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand
Link to publication DOI Pre-print
12:00
20m
Talk
Demystifying Dependence
Onward! Papers
Link to publication
12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
Student Research Competition

13:00 - 14:00
T-4-OnwardOnward! Papers / Onward! Essays at SPLASH-III +12h
Chair(s): Marc Ronell U.S. Federal Aviation Administration
13:00
20m
Talk
Notes on Notebooks: Is Jupyter the Bringer of Jollity?
Onward! Essays
Jeremy Singer Glasgow University
Link to publication DOI Pre-print
13:20
20m
Talk
Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Onward! Papers
Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Anirudh Jain Georgia Institute of Technology, Sriseshan Srikanth Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology, Richard Vuduc Georgia Tech, Vivek Sarkar Georgia Institute of Technology
Link to publication
13:40
20m
Talk
A principled approach to REPL interpreters
Onward! Papers
L. Thomas van Binsbergen CWI, Mauricio Verano Merino Technische Universiteit Eindhoven, Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Tijs van der Storm CWI & University of Groningen, Netherlands, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France
Link to publication DOI Pre-print
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

15:00 - 16:00
T-5-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h
Chair(s): Stephen Kell University of Kent
15:00
20m
Talk
Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation
Onward! Essays
Stefan K. Muller Carnegie Mellon University, Hannah Ringler Carnegie Mellon University, USA
15:20
20m
Talk
Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Onward! Essays
Paolo Ciancarini University of Bologna / Innopolis University, Sergey Masyagin Innopolis University, Russia, Giancarlo Succi Innopolis University
Link to publication DOI
15:40
20m
Talk
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
Matthew Sotoudeh University of California, Davis, Aditya V. Thakur University of California, Davis
Link to publication Pre-print Media Attached
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
TKeynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

21:00 - 22:20
21:00
20m
Talk
Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Onward! Papers
Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany
Link to publication DOI Pre-print Media Attached
21:20
20m
Talk
End-User Software Customization by Direct Manipulation of Tabular Data
Onward! Papers
Link to publication Pre-print
21:40
20m
Talk
Discussion of Aviation Software Oversight Improvement
Onward! Essays
Marc Ronell U.S. Federal Aviation Administration
Link to publication DOI
22:00
20m
Talk
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Onward! Papers
Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University
Link to publication
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

23:00 - 00:20
T-3-OnwardOnward! Papers / Onward! Essays at SPLASH-III
Chair(s): Crista Lopes University of California, Irvine
23:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas Thakur IIT Mandi
Link to publication DOI Pre-print
23:20
20m
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego
Link to publication DOI
23:40
20m
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand
Link to publication DOI Pre-print
00:00
20m
Talk
Demystifying Dependence
Onward! Papers
Link to publication

Wed 18 Nov

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

01:00 - 02:00
T-4-OnwardOnward! Papers / Onward! Essays at SPLASH-III
Chair(s): Didier Verna EPITA / LRDE
01:00
20m
Talk
Notes on Notebooks: Is Jupyter the Bringer of Jollity?
Onward! Essays
Jeremy Singer Glasgow University
Link to publication DOI Pre-print
01:20
20m
Talk
Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Onward! Papers
Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Anirudh Jain Georgia Institute of Technology, Sriseshan Srikanth Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology, Richard Vuduc Georgia Tech, Vivek Sarkar Georgia Institute of Technology
Link to publication
01:40
20m
Talk
A principled approach to REPL interpreters
Onward! Papers
L. Thomas van Binsbergen CWI, Mauricio Verano Merino Technische Universiteit Eindhoven, Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Tijs van der Storm CWI & University of Groningen, Netherlands, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France
Link to publication DOI Pre-print
03:00 - 04:00
T-5-OnwardOnward! Essays / Onward! Papers at SPLASH-III
Chair(s): Stephen Kell University of Kent
03:00
20m
Talk
Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation
Onward! Essays
Stefan K. Muller Carnegie Mellon University, Hannah Ringler Carnegie Mellon University, USA
03:20
20m
Talk
Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Onward! Essays
Paolo Ciancarini University of Bologna / Innopolis University, Sergey Masyagin Innopolis University, Russia, Giancarlo Succi Innopolis University
Link to publication DOI
03:40
20m
Talk
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Onward! Papers
Matthew Sotoudeh University of California, Davis, Aditya V. Thakur University of California, Davis
Link to publication Pre-print Media Attached