Onward! 2020
2020-11-15..2020-11-21
-- online --
Onward! ·
[Onward! 2020, Onward! 2021, Onward! 2022, Onward! 2023, Onward! 2024, Onward! 2025]
who it's for
programming language researchers, language designers, software architects, tool builders and infrastructure engineers, data scientists, security engineers
topics
semantic versioning verification; Jupyter notebook architecture; REPL interpreter semantics; Java pointer analysis techniques; alternative code-size metrics; language-based I/O capabilities; software dependence causality; analogy-making code transformations; AOT Python-to-C++ compilation; dense operator fusion optimizations
| title | author | length |
|---|---|---|
| Software Design as Story Telling: Reflecting on the Work of Italo Calvino | Paolo Ciancarini, Sergey Masyagin, Giancarlo Succi | 18m |
Maps Calvino’s five memos onto concrete software practices and claims: treat complexity by intentionally killing Medusa by reflection to keep designs light but… | ||
| A Rhetorical Framework for Programming Language Evaluation | Stefan K. Muller, Hannah Ringler | 16m |
Uses rhetoric and argument theory to give a practical way to justify subjective PL claims by tying specific language or tool features to observable effects… | ||
| Notes on Notebooks: Is Jupyter the Bringer of Jollity? | Jeremy Singer | 17m |
Jupyter is an interactive notebook ecosystem with a web client, server, language kernel and IPYNB JSON file store; GitHub hosts about 10 million notebooks and… | ||
| Putting the Semantics into Semantic Versioning | Patrick Lam, Jens Dietrich, David J. Pearce | 15m |
Argues for certified, machine-checked semantic versioning: upstream emits machine-readable taxonomy labels for each change and provides provenance and tool… | ||
| The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics | Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg | 11m |
Paper argues that counting lines of code often misleads: a study of top-conference papers finds 44% reported code and among those most use LoC while only two… | ||
| How (Not) to Write Java Pointer Analyses after 2020 | Manas Thakur | 16m |
Argues a concrete checklist of precise-yet-efficient design rules for Java pointer analyses, backed by multi-year implementation experience and a runnable… | ||
| Discussion of Aviation Software Oversight Improvement | Marc Ronell | 15m |
Claims systemic failure in US aviation software oversight: certification relies on DO-178x spot-check auditing that verifies traces but not correctness of… | ||
| Analogy-Making as a Core Primitive in the Software Engineering Toolbox | Matthew Sotoudeh, Aditya V. Thakur | 15m |
Presents Sifter, a new analogy-making algorithm that represents code and docs as triplet structures plus a small DSL of update rules, and applies it to three… | ||
| A Principled Approach to REPL Interpreters | L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais | 15m |
Claim that REPL behavior follows a sequential language model and that REPL interpreters can be derived by adding a semicolon-like sequential operator to a base… | ||
| Intrepydd: Performance, Productivity, and Portability for Data Science Application Kernels | Tong Zhou, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas M. Conte, Richard Vuduc, Vivek Sarkar | 16m |
Intrepydd is a Python-like kernel language that compiles AOT to C++ (ahead-of-time C++ codegen) and requires type-declared functions and array types (dense and… | ||
| Demystifying Dependence | James Koppel, Daniel Jackson | 16m |
Claims a first rigorous definition of software dependence, answers nine dependency puzzles (three shown) and shows dependence always ties to the property… | ||
| A Case Study in Language-Based Security: Building an I/O Library for Wyvern | Jennifer A. Fish, Darya Melicher, Jonathan Aldrich | 16m |
A small standard I/O library for Wyvern is built and shown workable: capabilities enforce least privilege by handing narrow file or directory handles… | ||
| End-User Software Customization by Direct Manipulation of Tabular Data | Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Quaye | 15m |
A browser extension called Wildcard surfaces a table view of a page, keeps it bidirectionally synchronized with the DOM, and lets users apply spreadsheet… | ||
| Example-Based Live Programming for Everyone: Building Language-Agnostic Tools for Live Programming w | Fabio Niephaus, Patrick Rein | 14m |
Demonstrates a concrete system that implements language-agnostic ELP via LSP+GraalVM and a VS Code extension that runs examples, probes and per-example… | ||
| nothing matches | ||