Onward! 2017 – Proceedings

Frontmatter

Papers

Language Design

Can We Crowdsource Language Design?
Preston Tunnell Wilson, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA)


@InProceedings{Onward!17p1, author = {Preston Tunnell Wilson and Justin Pombrio and Shriram Krishnamurthi}, title = {Can We Crowdsource Language Design?}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, }

Assessing User Preferences in Programming Language Design
Roger D. Chamberlain
(Washington University at St. Louis, USA)


@InProceedings{Onward!17p21, author = {Roger D. Chamberlain}, title = {Assessing User Preferences in Programming Language Design}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2017}, }

Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages
Friedrich Steimann
(Fernuniversität in Hagen, Germany)


@InProceedings{Onward!17p41, author = {Friedrich Steimann}, title = {Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p61, author = {Mandana Vaziri and Louis Mandel and Avraham Shinnar and Jérôme Siméon and Martin Hirzel}, title = {Generating Chat Bots from Web API Specifications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p81, author = {Edmund S. L. Lam and Peilun Zhang and Bor-Yuh Evan Chang}, title = {ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2017}, }

Unbounded Superoptimization
Abhinav Jangda and Greta Yorsh
(IIT Varanasi, India; Queen Mary University of London, UK)


@InProceedings{Onward!17p101, author = {Abhinav Jangda and Greta Yorsh}, title = {Unbounded Superoptimization}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p121, author = {Ioana Baldini and Perry Cheng and Stephen J. Fink and Nick Mitchell and Vinod Muthusamy and Rodric Rabbah and Philippe Suter and Olivier Tardieu}, title = {The Serverless Trilemma: Function Composition for Serverless Computing}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2017}, }

Encoding the Building Blocks of Communication
Aleksandar Prokopec
(Oracle Labs, Switzerland)


@InProceedings{Onward!17p141, author = {Aleksandar Prokopec}, title = {Encoding the Building Blocks of Communication}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p161, author = {Julie L. Newcomb and Satish Chandra and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan}, title = {Iᴏᴛᴀ: A Calculus for Internet of Things Automation}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2017}, }

Usability and Performance

Error Messages Are Classifiers: A Process to Design and Evaluate Error Messages
John Wrenn and Shriram Krishnamurthi
(Brown University, USA)


@InProceedings{Onward!17p181, author = {John Wrenn and Shriram Krishnamurthi}, title = {Error Messages Are Classifiers: A Process to Design and Evaluate Error Messages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p201, author = {Juliana Franco and Martin Hagelin and Tobias Wrigstad and Sophia Drossopoulou and Susan Eisenbach}, title = {You Can Have It All: Abstraction and Good Cache Performance}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2017}, }

Garbology: A Study of How Java Objects Die
Raoul L. Veroy and Samuel Z. Guyer
(Tufts University, USA)


@InProceedings{Onward!17p221, author = {Raoul L. Veroy and Samuel Z. Guyer}, title = {Garbology: A Study of How Java Objects Die}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2017}, }

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)


@InProceedings{Onward!17p241, author = {Christopher Hall and Trevor Standley and Tobias Hollerer}, title = {Infra: Structure All the Way Down: Structured Data as a Visual Programming Language}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2017}, }

Selfie and the Basics
Christoph M. Kirsch
(University of Salzburg, Austria)


@InProceedings{Onward!17p261, author = {Christoph M. Kirsch}, title = {Selfie and the Basics}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2017}, }

Systems Level Liveness with Extempore
Andrew Sorensen and Henry Gardner
(Australian National University, Australia)


@InProceedings{Onward!17p281, author = {Andrew Sorensen and Henry Gardner}, title = {Systems Level Liveness with Extempore}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2017}, }

Essays

Some Were Meant for C: The Endurance of an Unmanageable Language
Stephen Kell
(University of Cambridge, UK)


@InProceedings{Onward!17p301, author = {Stephen Kell}, title = {Some Were Meant for C: The Endurance of an Unmanageable Language}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2017}, }

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


@InProceedings{Onward!17p321, author = {Antti-Juhani Kaijanaho}, title = {Concept Analysis in Programming Language Research: Done Well It Is All Right}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2017}, }

Panel

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


@InProceedings{Onward!17p341, author = {Robert Biddle}, title = {How Can Our Publication Models Best Serve Our Research? (Panel)}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3133850.3144535}, year = {2017}, } Publisher's Version

proc time: 0.7