Frontmatter

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)

@InProceedings{Onward!16p1, author = {Tim Marter and Paul Babucke and Philipp Lembken and Stefan Hanenberg}, title = {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}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: onward16papers-papers17-p (type: Full Paper (20 pages)) doi:

Emergent Software Services
Nicolás Cardozo
(University of Los Andes, Colombia)

@InProceedings{Onward!16p21, author = {Nicolás Cardozo}, title = {Emergent Software Services}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: onward16papers-papers12-p (type: Full Paper (20 pages)) doi:

Nez: Practical Open Grammar Language
Kimio Kuramitsu
(Yokohama National University, Japan)

@InProceedings{Onward!16p41, author = {Kimio Kuramitsu}, title = {Nez: Practical Open Grammar Language}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: onward16papers-papers16-p (type: Full Paper (20 pages)) doi:

Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Nevena Milojković and Oscar Nierstrasz
(University of Bern, Switzerland)

@InProceedings{Onward!16p61, author = {Nevena Milojković and Oscar Nierstrasz}, title = {Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: onward16papers-papers14-p (type: Full Paper (20 pages)) doi:

Papers II

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

@InProceedings{Onward!16p81, author = {Niklas Fors and Görel Hedin}, title = {Bloqqi: Modular Feature-Based Block Diagram Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: onward16papers-papers31-p (type: Full Paper (20 pages)) doi:

Building White-Box Abstractions by Program Refinement
Mehrdad Afshari and Zhendong Su
(University of California at Davis, USA)

@InProceedings{Onward!16p101, author = {Mehrdad Afshari and Zhendong Su}, title = {Building White-Box Abstractions by Program Refinement}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, } Article: onward16papers-papers30-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p121, author = {Heather Miller and Philipp Haller and Normen Müller and Jocelyn Boullier}, title = {Function Passing: A Model for Typed, Distributed Functional Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, } Article: onward16papers-papers6-p (type: Full Paper (20 pages)) doi:

Extracting Code from Programming Tutorial Videos
Shir Yadid and Eran Yahav
(Technion, Israel)

@InProceedings{Onward!16p141, author = {Shir Yadid and Eran Yahav}, title = {Extracting Code from Programming Tutorial Videos}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2016}, } Article: onward16papers-papers19-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p161, author = {Matt McCutchen and Shachar Itzhaky and Daniel Jackson}, title = {Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: onward16papers-papers15-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p181, author = {Andrei Chiş and Tudor Gîrba and Juraj Kubelka and Oscar Nierstrasz and Stefan Reichhart and Aliaksei Syrel}, title = {Moldable, Context-Aware Searching with Spotter}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2016}, } Article: onward16papers-papers26-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p201, author = {Ivan Kuraj and Daniel Jackson}, title = {Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2016}, } Article: onward16papers-papers9-p (type: Full Paper (20 pages)) doi:

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

@InProceedings{Onward!16p221, author = {Patrick Rein and Robert Hirschfeld and Marcel Taeumel}, title = {Gramada: Immediacy in Programming Language Development}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2016}, } Article: onward16papers-papers22-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p241, author = {Soumya Indela and Mukul Kulkarni and Kartik Nayak and Tudor Dumitraş}, title = {Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: onward16papers-papers29-p (type: Full Paper (20 pages)) doi:

Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Meital Zilberstein and Eran Yahav
(Technion, Israel)

@InProceedings{Onward!16p261, author = {Meital Zilberstein and Eran Yahav}, title = {Leveraging a Corpus of Natural Language Descriptions for Program Similarity}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: onward16papers-papers2-p (type: Full Paper (20 pages)) doi:

ONWARD Essays

Essays I

How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Johannes Emerich

@InProceedings{Onward!16p281, author = {Johannes Emerich}, title = {How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: onward16essays-essays8-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p301, author = {James Noble and Andrew P. Black and Kim B. Bruce and Michael Homer and Mark S. Miller}, title = {The Left Hand of Equals}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2016}, } Article: onward16essays-essays9-p (type: Full Paper (20 pages)) 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)

@InProceedings{Onward!16p321, author = {Daniel Ingalls and Tim Felgentreff and Robert Hirschfeld and Robert Krahn and Jens Lincke and Marko Röder and Antero Taivalsaari and Tommi Mikkonen}, title = {A World of Active Objects for Work and Play: The First Ten Years of Lively}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2016}, } Article: onward16essays-essays5-p (type: Full Paper (20 pages)) doi:

“in the control room of the banquet”
Richard P. Gabriel
(IBM Research, USA)

@InProceedings{Onward!16p341, author = {Richard P. Gabriel}, title = {“in the control room of the banquet”}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: onward16essays-essays1-p (type: Full Paper (20 pages)) doi:

proc time: 0.03