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

Title Page

Article: onward20foreword-fm000-p doi:

Welcome from the Chairs

Article: onward20foreword-fm001-p doi:

Onward! 2020 Organization

Article: onward20foreword-fm002-p doi:

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)

Publisher's Version Article: onward20papers-p86-p doi:10.1145/3426428.3426919

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

Publisher's Version Article: onward20papers-p10-p doi:10.1145/3426428.3426914

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)

Publisher's Version Article: onward20papers-p9-p doi:10.1145/3426428.3426913

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

Publisher's Version Article: onward20papers-p36-p doi:10.1145/3426428.3426916

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)

Publisher's Version Article: onward20papers-p32-p doi:10.1145/3426428.3426915

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)

Publisher's Version Published Artifact Artifacts Available Article: onward20papers-p52-p doi:10.1145/3426428.3426917

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

Publisher's Version Article: onward20papers-p69-p doi:10.1145/3426428.3426918

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

Publisher's Version Article: onward20essays-id6-p doi:10.1145/3426428.3426926

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

Publisher's Version Article: onward20essays-id5-p doi:10.1145/3426428.3426923

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)

Publisher's Version Article: onward20essays-id8-p doi:10.1145/3426428.3426921

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

Publisher's Version Article: onward20essays-id3-p doi:10.1145/3426428.3426922

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

Publisher's Version Article: onward20essays-id9-p doi:10.1145/3426428.3426924

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

Publisher's Version Article: onward20essays-id4-p doi:10.1145/3426428.3426927

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)

Publisher's Version Article: onward20essays-id7-p doi:10.1145/3426428.3426925