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

Title Page
Article: onward17foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: onward17foreword-fm001-p (type: Frontmatter) doi:

Papers

Language Design

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

Assessing User Preferences in Programming Language Design
Roger D. Chamberlain
(Washington University at St. Louis, USA)
Article: onward17papers-papers4-p (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:

Unbounded Superoptimization
Abhinav Jangda and Greta Yorsh
(IIT Varanasi, India; Queen Mary University of London, UK)
Article: onward17papers-papers11-p (type: Full Paper) 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 (type: Full Paper) doi:

Encoding the Building Blocks of Communication
Aleksandar Prokopec
(Oracle Labs, Switzerland)
Article: onward17papers-papers30-p (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) doi:

Garbology: A Study of How Java Objects Die
Raoul L. Veroy and Samuel Z. Guyer
(Tufts University, USA)
Article: onward17papers-papers8-p (type: Full Paper) 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 (type: Full Paper) doi:

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

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

Essays

Some Were Meant for C: The Endurance of an Unmanageable Language
Stephen Kell
(University of Cambridge, UK)
Article: onward17essays-essays2-p (type: Full Paper) 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 (type: Full Paper) doi: