Onward! 2017 – Proceedings

2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2017), October 25–27, 2017, Vancouver, BC, Canada

Frontmatter

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

Papers

Language Design

Can We Crowdsource Language Design?
Preston Tunnell Wilson, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA)
Article: onward17papers-papers28-p doi:

Assessing User Preferences in Programming Language Design
Roger D. Chamberlain
(Washington University at St. Louis, USA)
Article: onward17papers-papers4-p doi:

Program Generation and Synthesis

Generating Chat Bots from Web API Specifications
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, and Martin Hirzel
(IBM Research, USA)
Article: onward17papers-papers29-p doi:

ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Edmund S. L. Lam, Peilun Zhang, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
Article: onward17papers-papers7-p doi:

Unbounded Superoptimization
Abhinav Jangda and Greta Yorsh
(IIT Varanasi, India; Queen Mary University of London, UK)
Article: onward17papers-papers11-p doi:

Programming Models

The Serverless Trilemma: Function Composition for Serverless Computing
Ioana Baldini, Perry Cheng, Stephen J. Fink, Nick Mitchell, Vinod Muthusamy, Rodric Rabbah, Philippe Suter, and Olivier Tardieu
(IBM Research, USA; Two Sigma, USA)
Article: onward17papers-papers10-p doi:

Encoding the Building Blocks of Communication
Aleksandar Prokopec
(Oracle Labs, Switzerland)
Article: onward17papers-papers30-p doi:

Iᴏᴛᴀ: A Calculus for Internet of Things Automation
Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, and Manu Sridharan
(University of Washington, USA; Samsung Research, USA)
Article: onward17papers-papers22-p doi:

Usability and Performance

Error Messages Are Classifiers: A Process to Design and Evaluate Error Messages
John Wrenn and Shriram Krishnamurthi
(Brown University, USA)
Article: onward17papers-papers27-p doi:

You Can Have It All: Abstraction and Good Cache Performance
Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, and Susan Eisenbach
(Imperial College London, UK; Dirac, Sweden; Uppsala University, Sweden)
Article: onward17papers-papers26-p doi:

Garbology: A Study of How Java Objects Die
Raoul L. Veroy and Samuel Z. Guyer
(Tufts University, USA)
Article: onward17papers-papers8-p doi:

New Languages

Infra: Structure All the Way Down: Structured Data as a Visual Programming Language
Christopher Hall, Trevor Standley, and Tobias Hollerer
(University of California at Santa Barbara, USA; Stanford University, USA)
Article: onward17papers-papers6-p doi:

Selfie and the Basics
Christoph M. Kirsch
(University of Salzburg, Austria)
Article: onward17papers-papers12-p doi:

Systems Level Liveness with Extempore
Andrew Sorensen and Henry Gardner
(Australian National University, Australia)
Article: onward17papers-papers20-p doi:

Essays

Some Were Meant for C: The Endurance of an Unmanageable Language
Stephen Kell
(University of Cambridge, UK)
Article: onward17essays-essays2-p doi:

Concept Analysis in Programming Language Research: Done Well It Is All Right
Antti-Juhani Kaijanaho
(University of Jyväskylä, Finland)
Article: onward17essays-essays3-p doi:

Panel

How Can Our Publication Models Best Serve Our Research? (Panel)
Robert Biddle
(Carleton University, Canada)

Publisher's Version Article: onward17inv-panel1-p doi:10.1145/3133850.3144535