Powered by

2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2016), November 2–4, 2016, Amsterdam, Netherlands

Onward! 2016 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: onward16foreword-fm000-p doi:

Message from the Chairs
Article: onward16foreword-fm001-p doi:

Onward! 2016 Organization
Article: onward16foreword-fm002-p doi:

ONWARD Papers

Papers I

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
Tim Marter, Paul Babucke, Philipp Lembken, and Stefan Hanenberg
(University of Duisburg-Essen, Germany)
Article: onward16papers-papers17-p doi:

Emergent Software Services
Nicolás Cardozo
(University of Los Andes, Colombia)
Article: onward16papers-papers12-p doi:

Nez: Practical Open Grammar Language
Kimio Kuramitsu
(Yokohama National University, Japan)
Article: onward16papers-papers16-p doi:

Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Nevena Milojković and Oscar Nierstrasz
(University of Bern, Switzerland)
Article: onward16papers-papers14-p doi:

Papers II

Bloqqi: Modular Feature-Based Block Diagram Programming
Niklas Fors and Görel Hedin
(Lund University, Sweden)
Article: onward16papers-papers31-p doi:

Building White-Box Abstractions by Program Refinement
Mehrdad Afshari and Zhendong Su
(University of California at Davis, USA)
Article: onward16papers-papers30-p doi:

Function Passing: A Model for Typed, Distributed Functional Programming
Heather Miller, Philipp Haller, Normen Müller, and Jocelyn Boullier
(EPFL, Switzerland; KTH, Sweden; Trivadis, Germany)
Article: onward16papers-papers6-p doi:

Extracting Code from Programming Tutorial Videos
Shir Yadid and Eran Yahav
(Technion, Israel)
Article: onward16papers-papers19-p doi:

Papers III

Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Matt McCutchen, Shachar Itzhaky, and Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article: onward16papers-papers15-p doi:

Moldable, Context-Aware Searching with Spotter
Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, and Aliaksei Syrel
(University of Bern, Switzerland; feenk.com, Switzerland; University of Chile, Chile)
Article: onward16papers-papers26-p doi:

Papers IV

Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Ivan Kuraj and Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article: onward16papers-papers9-p doi:

Gramada: Immediacy in Programming Language Development
Patrick Rein, Robert Hirschfeld, and Marcel Taeumel
(HPI, Germany; SAP Labs, USA; Viewpoints Research Institute, USA)
Article: onward16papers-papers22-p doi:

Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Soumya Indela, Mukul Kulkarni, Kartik Nayak, and Tudor Dumitraş
(University of Maryland at College Park, USA)
Article: onward16papers-papers29-p doi:

Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Meital Zilberstein and Eran Yahav
(Technion, Israel)
Article: onward16papers-papers2-p doi:

ONWARD Essays

Essays I

How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Johannes Emerich
Article: onward16essays-essays8-p doi:

The Left Hand of Equals
James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, and Mark S. Miller
(Victoria University of Wellington, New Zealand; Portland State University, USA; Pomona College, USA; Google, USA)
Article: onward16essays-essays9-p doi:

Essays II

A World of Active Objects for Work and Play: The First Ten Years of Lively
Daniel Ingalls, Tim Felgentreff, Robert Hirschfeld, Robert Krahn, Jens Lincke, Marko Röder, Antero Taivalsaari, and Tommi Mikkonen
(Y Combinator Research, USA; HPI, Germany; Nokia, Finland; Tampere University of Technology, Finland)
Article: onward16essays-essays5-p doi:

“in the control room of the banquet”
Richard P. Gabriel
(IBM Research, USA)
Article: onward16essays-essays1-p doi:

proc time: 0.68