Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015

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 28 Oct

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

13:30 - 15:00
Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane Ducasse INRIA, France
13:30
22m
Talk
Towards Secure Integration of Cryptographic Software
Onward! Papers
Steven Arzt TU Darmstadt, Sarah Nadi Technische Universität Darmstadt, Karim Ali TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Eric Bodden Fraunhofer SIT and TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication DOI Media Attached
13:52
22m
Talk
Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Onward! Papers
Jürgen Cito University of Zurich, Philipp Leitner University of Zurich, Harald Gall University of Zurich, Aryan Dadashi SAP, Anne Keller SAP, Andreas Roth SAP
Pre-print Media Attached
14:15
22m
Talk
Constraints as a Design Pattern
Onward! Papers
Hesam Samimi SAP Labs, Alessandro Warth SAP Labs, Mahdi Eslamimehr SAP Labs, Alan Borning University of Washington, USA
14:37
22m
Talk
The Moldable Inspector
Onward! Papers
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached

Thu 29 Oct

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

13:30 - 15:00
Session the SecondOnward! Papers at Grand Station 3-5
Chair(s): Karim Ali TU Darmstadt
13:30
22m
Talk
Just-in-Time Data Structures
Onward! Papers
Mattias De Wael Vrije Universiteit Brussel, Stefan Marr INRIA, France, Joeri De Koster Vrije Universiteit Brussel, Jennifer B. Sartor Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI
13:52
22m
Talk
Separation of Powers in the Cloud: Where Applications and Users Become Peers
Onward! Papers
David H. Lorenz Open University and Technion IIT, Boaz Rosenan University of Haifa
Media Attached
14:15
22m
Talk
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Onward! Papers
Junsong Li Brown University, Justin Pombrio , Joe Gibbs Politz Swarthmore College, Shriram Krishnamurthi Brown University
Media Attached
14:37
22m
Talk
Musiplectics: Computational Assessment of the Complexity of Music Scores
Onward! Papers
Ethan Holder Virginia Tech, Eli Tilevich Virginia Tech, Amy Gillick Virginia Tech
15:30 - 17:30
Session the ThirdOnward! Papers at Grand Station 3-5
Chair(s): Lindsey Kuper Intel Labs
15:30
24m
Talk
Toward tool support for interactive synthesis
Onward! Papers
Shaon Barman UC Berkeley, Rastislav Bodík University of Washington, USA, Satish Chandra Samsung Research America, Emina Torlak University of Washington, Arka Bhattacharya UC Berkeley, David Culler UC Berkeley
15:54
24m
Talk
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Onward! Papers
Sylvia Grewe TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Pascal Wittmann TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication
16:18
24m
Talk
One Parser to Rule Them All
Onward! Papers
Ali Afroozeh Centrum Wiskunde & Informatica, Anastasia Izmaylova Centrum Wiskunde & Informatica
Link to publication DOI Pre-print Media Attached
16:42
24m
Talk
Isolates, Channels and Event Streams for Composable Distributed Programming
Onward! Papers
Aleksandar Prokopec EPFL, Martin Odersky EPFL, Switzerland
17:06
24m
Talk
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai

Fri 30 Oct

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

15:30 - 17:00
Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail Murphy University of British Columbia
15:30
22m
Talk
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
Toni Mattis Hasso Plattner Institute, Johannes Henning Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Malte Appeltauer SAP, Robert Hirschfeld HPI
DOI Media Attached
15:52
22m
Talk
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai, Max Mattone Inria - Mines Douai
Media Attached
16:15
22m
Talk
Towards a dynamic object model within Unix processes
Onward! Papers
Stephen Kell University of Cambridge
Link to publication Pre-print Media Attached
16:37
22m
Talk
Towards Fully Reflective Environments
Onward! Papers
Guido Chari Dept. of Computer Science FCEyN, University of Buenos Aires, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Pre-print Media Attached

Accepted Papers

Title
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Onward! Papers
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
DOI Media Attached
Constraints as a Design Pattern
Onward! Papers
Isolates, Channels and Event Streams for Composable Distributed Programming
Onward! Papers
Just-in-Time Data Structures
Onward! Papers
Link to publication DOI
Musiplectics: Computational Assessment of the Complexity of Music Scores
Onward! Papers
One Parser to Rule Them All
Onward! Papers
Link to publication DOI Pre-print Media Attached
Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Onward! Papers
Pre-print Media Attached
Separation of Powers in the Cloud: Where Applications and Users Become Peers
Onward! Papers
Media Attached
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Onward! Papers
Media Attached
The Moldable Inspector
Onward! Papers
DOI Pre-print Media Attached
Towards a dynamic object model within Unix processes
Onward! Papers
Link to publication Pre-print Media Attached
Towards Fully Reflective Environments
Onward! Papers
Pre-print Media Attached
Towards Secure Integration of Cryptographic Software
Onward! Papers
Link to publication DOI Media Attached
Toward tool support for interactive synthesis
Onward! Papers
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Onward! Papers
Link to publication
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Media Attached

Call for Papers

Selection Process

Onward! papers are peer-reviewed. 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.

Submission

Onward! submissions must conform to both the ACM Policy on Prior Publication and Simultaneous Submissions and the SIGPLAN Re-Publication Policy. Submissions are single-blind (i.e., authors are not anonymous).

Submission Site

https://onward15-papers.hotcrp.com/

Format

Submissions should use the ACM SIGPLAN Conference Format, 10 point font. Note that by default the SIGPLAN Proceedings Format produces 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 \documentclass 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 (including bibliographic references) should be no longer than 14 pages. There is no page limit for 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.

It is the responsibility of the authors to keep the reviewers interested and motivated to read their submission. Reviewers are under no obligation to read all or even a substantial portion of a paper if they do not find the initial part of the paper compelling. The committee will not accept a paper if it is unclear that the paper will fit in the Onward! Proceedings.

Artifacts

Authors of accepted papers are encouraged to make accompanying materials, such as artifacts, publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Publication

AUTHORS TAKE NOTE: All accepted papers will be available in the ACM Digital Library as early as October 2, 2015. The official publication date is the date the proceedings are made available in the ACM Digital Library. The official publication date affects the deadline for any patent filings related to published work.