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

Title Page

Welcome from the Chairs

Onward! 2020 Organization

Example-Based Live Programming for Everyone: Building Language-Agnostic Tools for Live Programming with LSP and GraalVM
Fabio Niephaus, Patrick Rein, Jakob Edding, Jonas Hering, Bastian König, Kolya Opahle, Nico Scordialo, and Robert Hirschfeld
(HPI, Germany)


@InProceedings{Onward!20p1, author = {Fabio Niephaus and Patrick Rein and Jakob Edding and Jonas Hering and Bastian König and Kolya Opahle and Nico Scordialo and Robert Hirschfeld}, title = {Example-Based Live Programming for Everyone: Building Language-Agnostic Tools for Live Programming with LSP and GraalVM}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426428.3426919}, year = {2020}, } Publisher's Version

End-User Software Customization by Direct Manipulation of Tabular Data
Geoffrey Litt, Daniel Jackson, Tyler Millis, and Jessica Quaye
(Massachusetts Institute of Technology, USA)


@InProceedings{Onward!20p23, author = {Geoffrey Litt and Daniel Jackson and Tyler Millis and Jessica Quaye}, title = {End-User Software Customization by Direct Manipulation of Tabular Data}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3426428.3426914}, year = {2020}, } Publisher's Version

A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Jennifer A. Fish, Darya Melicher, and Jonathan Aldrich
(Carnegie Mellon University, USA)


@InProceedings{Onward!20p45, author = {Jennifer A. Fish and Darya Melicher and Jonathan Aldrich}, title = {A Case Study in Language-Based Security: Building an I/O Library for Wyvern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3426428.3426913}, year = {2020}, } Publisher's Version

Demystifying Dependence
James Koppel and Daniel Jackson
(Massachusetts Institute of Technology, USA)


@InProceedings{Onward!20p67, author = {James Koppel and Daniel Jackson}, title = {Demystifying Dependence}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3426428.3426916}, year = {2020}, } Publisher's Version

Intrepydd: Performance, Productivity, and Portability for Data Science Application Kernels
Tong Zhou, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas M. Conte, Richard Vuduc, and Vivek Sarkar
(Georgia Institute of Technology, USA; AMD Research, USA)


@InProceedings{Onward!20p89, author = {Tong Zhou and Jun Shirako and Anirudh Jain and Sriseshan Srikanth and Thomas M. Conte and Richard Vuduc and Vivek Sarkar}, title = {Intrepydd: Performance, Productivity, and Portability for Data Science Application Kernels}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3426428.3426915}, year = {2020}, } Publisher's Version

A Principled Approach to REPL Interpreters
L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, and Olivier Barais
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Groningen, Netherlands)


@InProceedings{Onward!20p111, author = {L. Thomas van Binsbergen and Mauricio Verano Merino and Pierre Jeanjean and Tijs van der Storm and Benoit Combemale and Olivier Barais}, title = {A Principled Approach to REPL Interpreters}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3426428.3426917}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Matthew Sotoudeh and Aditya V. Thakur
(University of California at Davis, USA)


@InProceedings{Onward!20p133, author = {Matthew Sotoudeh and Aditya V. Thakur}, title = {Analogy-Making as a Core Primitive in the Software Engineering Toolbox}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {133-132}, doi = {10.1145/3426428.3426918}, year = {2020}, } Publisher's Version

Discussion of Aviation Software Oversight Improvement
Marc Ronell
(U.S. Federal Aviation Administration, USA)


@InProceedings{Onward!20p155, author = {Marc Ronell}, title = {Discussion of Aviation Software Oversight Improvement}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3426428.3426926}, year = {2020}, } Publisher's Version

How (Not) to Write Java Pointer Analyses after 2020
Manas Thakur
(IIT Mandi, India)


@InProceedings{Onward!20p195, author = {Manas Thakur}, title = {How (Not) to Write Java Pointer Analyses after 2020}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {195-194}, doi = {10.1145/3426428.3426923}, year = {2020}, } Publisher's Version

The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Kalev Alpernas, Yotam M. Y. Feldman, and Hila Peleg
(Tel Aviv University, Israel; University of California at San Diego, USA)


@InProceedings{Onward!20p235, author = {Kalev Alpernas and Yotam M. Y. Feldman and Hila Peleg}, title = {The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3426428.3426921}, year = {2020}, } Publisher's Version

Putting the Semantics into Semantic Versioning
Patrick Lam, Jens Dietrich, and David J. Pearce
(University of Waterloo, Canada; Victoria University of Wellington, New Zealand)


@InProceedings{Onward!20p275, author = {Patrick Lam and Jens Dietrich and David J. Pearce}, title = {Putting the Semantics into Semantic Versioning}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {275-274}, doi = {10.1145/3426428.3426922}, year = {2020}, } Publisher's Version

Notes on Notebooks: Is Jupyter the Bringer of Jollity?
Jeremy Singer
(Glasgow University, UK)


@InProceedings{Onward!20p315, author = {Jeremy Singer}, title = {Notes on Notebooks: Is Jupyter the Bringer of Jollity?}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {315-314}, doi = {10.1145/3426428.3426924}, year = {2020}, } Publisher's Version

A Rhetorical Framework for Programming Language Evaluation
Stefan K. Muller and Hannah Ringler
(Carnegie Mellon University, USA)


@InProceedings{Onward!20p355, author = {Stefan K. Muller and Hannah Ringler}, title = {A Rhetorical Framework for Programming Language Evaluation}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {355-354}, doi = {10.1145/3426428.3426927}, year = {2020}, } Publisher's Version

Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Paolo Ciancarini, Sergey Masyagin, and Giancarlo Succi
(University of Bologna, Italy; Innopolis University, Russia)


@InProceedings{Onward!20p395, author = {Paolo Ciancarini and Sergey Masyagin and Giancarlo Succi}, title = {Software Design as Story Telling: Reflecting on the Work of Italo Calvino}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {395-394}, doi = {10.1145/3426428.3426925}, year = {2020}, } Publisher's Version