Onward! 2017
2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2017)
Powered by
Conference Publishing Consulting

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

Onward! 2017 – Proceedings

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Language Design

Can We Crowdsource Language Design?
Preston Tunnell Wilson, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA)
Assessing User Preferences in Programming Language Design
Roger D. Chamberlain
(Washington University at St. Louis, USA)
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Friedrich Steimann ORCID logo
(Fernuniversität in Hagen, Germany)

Program Generation and Synthesis

Generating Chat Bots from Web API Specifications
Mandana Vaziri, Louis Mandel ORCID logo, Avraham Shinnar ORCID logo, Jérôme Siméon, and Martin Hirzel
(IBM Research, USA)
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Edmund S. L. Lam, Peilun Zhang, and Bor-Yuh Evan ChangORCID logo
(University of Colorado at Boulder, USA)
Unbounded Superoptimization
Abhinav Jangda and Greta Yorsh
(IIT Varanasi, India; Queen Mary University of London, UK)

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 TardieuORCID logo
(IBM Research, USA; Two Sigma, USA)
Encoding the Building Blocks of Communication
Aleksandar Prokopec ORCID logo
(Oracle Labs, Switzerland)
Iᴏᴛᴀ: A Calculus for Internet of Things Automation
Julie L. Newcomb, Satish Chandra ORCID logo, Jean-Baptiste Jeannin, Cole Schlesinger, and Manu SridharanORCID logo
(University of Washington, USA; Samsung Research, USA)

Usability and Performance

Error Messages Are Classifiers: A Process to Design and Evaluate Error Messages
John Wrenn and Shriram Krishnamurthi
(Brown University, USA)
You Can Have It All: Abstraction and Good Cache Performance
Juliana Franco, Martin Hagelin, Tobias Wrigstad ORCID logo, Sophia Drossopoulou ORCID logo, and Susan Eisenbach ORCID logo
(Imperial College London, UK; Dirac, Sweden; Uppsala University, Sweden)
Garbology: A Study of How Java Objects Die
Raoul L. Veroy and Samuel Z. Guyer
(Tufts University, USA)

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)
Video Info
Selfie and the Basics
Christoph M. Kirsch
(University of Salzburg, Austria)
Systems Level Liveness with Extempore
Andrew Sorensen and Henry Gardner
(Australian National University, Australia)


Some Were Meant for C: The Endurance of an Unmanageable Language
Stephen Kell
(University of Cambridge, UK)
Concept Analysis in Programming Language Research: Done Well It Is All Right
Antti-Juhani Kaijanaho
(University of Jyväskylä, Finland)


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

proc time: 0.95