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

Title Page

Welcome from the Chairs

Scalable Spreadsheet-Driven End-User Applications with Incremental Computation
Sean Hadar and Shachar Itzhaky
(Technion, Israel)

Publisher's Version

Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Mathijs Schuts and Jozef Hooman
(Radboud University Nijmegen, Netherlands; TNO-ESI, Netherlands)

Publisher's Version

Cloning and Beyond: A Quantum Solution to Duplicate Code
Samyak Jhaveri, Alberto Krone-Martins, and Cristina V. Lopes
(University of California at Irvine, USA)

Publisher's Version

Trustworthy Formal Natural Language Specifications
Colin S. Gordon and Sergey Matskevich
(Drexel University, USA)

Publisher's Version Published Artifact Artifacts Available

Code Merging using Transformations and Member Identity
André R. Teles and André L. Santos
(ISCTE-IUL, Portugal)

Publisher's Version

Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging
Christoph Thiede, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version Info

Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers
Assaf Avishahar-Zeira and David H. Lorenz
(Too Software, Israel; Open University of Israel, Israel)

Publisher's Version Info

Concept-Centric Software Development: An Experience Report
Peter Wilczynski, Taylor Gregoire-Wright, and Daniel Jackson
(Palantir Technologies, USA; Ontologize, USA; Massachusetts Institute of Technology, USA)

Publisher's Version

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
Mark Marron
(University of Kentucky, USA)

Publisher's Version Info

Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models?
Advait Sarkar
(Microsoft Research, UK; University of Cambridge, UK; University College London, UK)

Publisher's Version

Whither Problem-Solving Environments?
Matthew Dinmore
(Johns Hopkins University, USA)

Publisher's Version

Sharing a Perspective on the 𝜆-Calculus
Beniamino Accattoli
(Inria, France; École Polytechnique, France)

Publisher's Version

programmingLanguage as Language;
James Noble and Robert Biddle
(Research & Programming, New Zealand; Australian National University, Australia; Carleton University, Canada)

Publisher's Version