Onward! 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016

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! is looking for grand visions and new paradigms that could make a big difference in how we will one day build software. But 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 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.

Onward! is reaching out for constructive criticism of current software development technology and practices, and to present 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 encouraged to share insights about how to reform software development.

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

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

Wed 2 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 1Onward! Papers at Zürich 2
Chair(s): Emerson Murphy-Hill Google
10:30
25m
Talk
Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts
Onward! Papers
Tim Marter University of Duisburg-Essen, Paul Babucke University of Duisburg-Essen, Philipp Lembken University of Duisburg-Essen, Stefan Hanenberg University of Duisburg-Essen
DOI
10:55
25m
Talk
Emergent Software Services
Onward! Papers
Nicolás Cardozo Universidad de los Andes
DOI Pre-print Media Attached
11:20
25m
Talk
Nez: Practical Open Grammar Language
Onward! Papers
Kimio Kuramitsu Yokohama National University, Japan
DOI
11:45
25m
Talk
Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Onward! Papers
Nevena Milojković University of Bern, Oscar Nierstrasz University of Bern, Switzerland
DOI
15:40 - 17:20
Session 2Onward! Papers at Zürich 2
Chair(s): Jeff Huang Texas A&M University
15:40
25m
Talk
Bloqqi: Modular Feature-Based Block Diagram Programming
Onward! Papers
Niklas Fors Lund University, Görel Hedin Lund University, Sweden
DOI Pre-print
16:05
25m
Talk
Building White-Box Abstractions by Program Refinement
Onward! Papers
Mehrdad Afshari Vivibe LLC, Zhendong Su University of California, Davis
DOI Pre-print
16:30
25m
Talk
Function Passing: A Model for Typed, Distributed Functional Programming
Onward! Papers
Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Normen Müller , Jocelyn Boullier EPFL, Jorge Vicente Cantero EPFL
DOI
16:55
25m
Talk
Extracting Code from Programming Tutorial Videos
Onward! Papers
Shir Yadid Technion, Eran Yahav Technion
DOI

Thu 3 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:40 - 16:30
Session 3Onward! Papers at Matterhorn 2
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Japan
15:40
25m
Talk
Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Onward! Papers
DOI Pre-print Media Attached
16:05
25m
Talk
Moldable, Context-Aware Searching with Spotter
Onward! Papers
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba feenk.com, Juraj Kubelka University of Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart , Aliaksei Syrel University of Bern
DOI Pre-print

Fri 4 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 4Onward! Papers at Matterhorn 2
Chair(s): Veselin Raychev ETH Zurich, Switzerland
10:30
25m
Talk
Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Onward! Papers
Ivan Kuraj MIT CSAIL, USA, Daniel Jackson MIT
DOI
10:55
25m
Talk
Gramada: Immediacy in Programming Language Development
Onward! Papers
Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld HPI
DOI
11:20
25m
Talk
Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Onward! Papers
Soumya Indela University of Maryland at College Park, Mukul Kulkarni University of Maryland at College Park, Kartik Nayak University of Maryland at College Park, Tudor Dumitras University of Maryland at College Park
DOI
11:45
25m
Talk
Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Onward! Papers
Meital Zilberstein Technion, Eran Yahav Technion
DOI

Accepted Papers

Title
Bloqqi: Modular Feature-Based Block Diagram Programming
Onward! Papers
DOI Pre-print
Building White-Box Abstractions by Program Refinement
Onward! Papers
DOI Pre-print
Emergent Software Services
Onward! Papers
DOI Pre-print Media Attached
Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Onward! Papers
DOI
Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Onward! Papers
DOI
Extracting Code from Programming Tutorial Videos
Onward! Papers
DOI
Function Passing: A Model for Typed, Distributed Functional Programming
Onward! Papers
DOI
Gramada: Immediacy in Programming Language Development
Onward! Papers
DOI
Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Onward! Papers
DOI
Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Onward! Papers
DOI
Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts
Onward! Papers
DOI
Moldable, Context-Aware Searching with Spotter
Onward! Papers
DOI Pre-print
Nez: Practical Open Grammar Language
Onward! Papers
DOI
Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Onward! Papers
DOI Pre-print Media Attached

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.

We welcome papers that contain promising ideas and have the potential to meet the conference’s standards, but have failed to achieve this in the initial submission. We will thus follow a two-phase review process. At the end of the first phase, all papers will be either: accepted normally; asked to perform certain required revisions; or rejected outright. All papers will 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 get 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.

More Information

For additional information, clarification, or answers to questions please contact the Program Chair.

For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the Program Chair. Onward! 2016 is using double-blind submission.

Submission Site

Please take a moment to read the instructions below before using the submission site. Note that camera ready versions will be collected by Conference Publishing Consulting.

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! will be light double-blind for the first time this year. 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 the ACM SIGPLAN Conference Format, 10 point font, using the font family Times New Roman. All submissions should be in PDF format. If you use LaTeX or Word, please use the provided ACM SIGPLAN Templates provided here. Otherwise, follow the author instructions.

Note that by default the SIGPLAN Conference Format templates produce papers in 9 point font. If you are formatting your paper using LaTeX, 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 preprint option in the LaTeX \documentclass command generates page numbers. 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 20 pages, including appendices. (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.