Onward! 2019
2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019)

Title Page

Welcome from the Chairs

Onward! 2019 Organization

Deployable Probabilistic Programming
David Tolpin
(PUB+, Israel)


@InProceedings{Onward!19p1, author = {David Tolpin}, title = {Deployable Probabilistic Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3359591.3359727}, year = {2019}, } Publisher's Version

An Approach for Persistent Time-Varying Values
Tetsuo Kamina and Tomoyuki Aotani
(Oita University, Japan; Tokyo Institute of Technology, Japan)


@InProceedings{Onward!19p18, author = {Tetsuo Kamina and Tomoyuki Aotani}, title = {An Approach for Persistent Time-Varying Values}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3359591.3359730}, year = {2019}, } Publisher's Version

CallƐ: An Effect System for Method Calls
Isaac Oscar Gariano, James Noble, and Marco Servetto
(Victoria University of Wellington, New Zealand)


@InProceedings{Onward!19p35, author = {Isaac Oscar Gariano and James Noble and Marco Servetto}, title = {CallƐ: An Effect System for Method Calls}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3359591.3359731}, year = {2019}, } Publisher's Version

AlleAlle: Bounded Relational Model Finding with Unbounded Data
Jouke Stoel, Tijs van der Storm, and Jurgen J. Vinju
(CWI, Netherlands)


@InProceedings{Onward!19p52, author = {Jouke Stoel and Tijs van der Storm and Jurgen J. Vinju}, title = {AlleAlle: Bounded Relational Model Finding with Unbounded Data}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3359591.3359726}, year = {2019}, } Publisher's Version

Active Learning for Software Engineering
José P. Cambronero, Thurston H. Y. Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, and Martin C. Rinard
(Massachusetts Institute of Technology, USA; Google, USA)


@InProceedings{Onward!19p69, author = {José P. Cambronero and Thurston H. Y. Dang and Nikos Vasilakis and Jiasi Shen and Jerry Wu and Martin C. Rinard}, title = {Active Learning for Software Engineering}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3359591.3359732}, year = {2019}, } Publisher's Version

Declarative Assembly of Web Applications from Predefined Concepts
Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, and Barry A. McNamara III
(Massachusetts Institute of Technology, USA)


@InProceedings{Onward!19p86, author = {Santiago Perez De Rosso and Daniel Jackson and Maryam Archie and Czarina Lao and Barry A. McNamara III}, title = {Declarative Assembly of Web Applications from Predefined Concepts}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3359591.3359728}, year = {2019}, } Publisher's Version

GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
Rohan Achar, Pritha Dawn, and Cristina V. Lopes
(University of California at Irvine, USA)


@InProceedings{Onward!19p103, author = {Rohan Achar and Pritha Dawn and Cristina V. Lopes}, title = {GoTcha: An Interactive Debugger for GoT-Based Distributed Systems}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3359591.3359733}, year = {2019}, } Publisher's Version

Storage Combinators
Marcel Weiher and Robert Hirschfeld
(HPI, Germany)


@InProceedings{Onward!19p120, author = {Marcel Weiher and Robert Hirschfeld}, title = {Storage Combinators}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {120-119}, doi = {10.1145/3359591.3359729}, year = {2019}, } Publisher's Version

Property Conveyances as a Programming Language
Shrutarshi Basu, Nate Foster, and James Grimmelmann
(Harvard University, USA; Cornell University, USA)


@InProceedings{Onward!19p137, author = {Shrutarshi Basu and Nate Foster and James Grimmelmann}, title = {Property Conveyances as a Programming Language}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3359591.3359734}, year = {2019}, } Publisher's Version

The Adverse Effects of Code Duplication in Machine Learning Models of Code
Miltiadis Allamanis
(Microsoft Research, UK)


@InProceedings{Onward!19p154, author = {Miltiadis Allamanis}, title = {The Adverse Effects of Code Duplication in Machine Learning Models of Code}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3359591.3359735}, year = {2019}, } Publisher's Version

Local-First Software: You Own Your Data, in spite of the Cloud
Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, and Mark McGranaghan
(University of Cambridge, UK; Ink & Switch, Germany; Ink & Switch, USA)


@InProceedings{Onward!19p171, author = {Martin Kleppmann and Adam Wiggins and Peter van Hardenberg and Mark McGranaghan}, title = {Local-First Software: You Own Your Data, in spite of the Cloud}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3359591.3359737}, year = {2019}, } Publisher's Version

Learning to Listen for Design
Elisa Baniassad, Ivan Beschastnikh, Reid Holmes, Gregor Kiczales, and Meghan Allen
(University of British Columbia, Canada)


@InProceedings{Onward!19p206, author = {Elisa Baniassad and Ivan Beschastnikh and Reid Holmes and Gregor Kiczales and Meghan Allen}, title = {Learning to Listen for Design}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {206-205}, doi = {10.1145/3359591.3359738}, year = {2019}, } Publisher's Version

Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Yannis Smaragdakis
(University of Athens, Greece)


@InProceedings{Onward!19p241, author = {Yannis Smaragdakis}, title = {Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3359591.3359739}, year = {2019}, } Publisher's Version