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)
Article Search
Assessing User Preferences in Programming Language Design
Roger D. Chamberlain
(Washington University at St. Louis, USA)
Article Search
Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Friedrich Steimann
(Fernuniversität in Hagen, Germany)
Article Search

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 Search
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 Search
Unbounded Superoptimization
Abhinav Jangda and Greta Yorsh
(IIT Varanasi, India; Queen Mary University of London, UK)
Article Search

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 Search
Encoding the Building Blocks of Communication
Aleksandar Prokopec
(Oracle Labs, Switzerland)
Article Search
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 Search

Usability and Performance

Error Messages Are Classifiers: A Process to Design and Evaluate Error Messages
John Wrenn and Shriram Krishnamurthi
(Brown University, USA)
Article Search
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 Search
Garbology: A Study of How Java Objects Die
Raoul L. Veroy and Samuel Z. Guyer
(Tufts University, USA)
Article Search

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


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


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

proc time: 0.32