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

Title Page

Article: onward23foreword-fm000-p doi:

Welcome from the Chairs

Article: onward23foreword-fm001-p doi:

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

Publisher's Version Article: onward23papers-p20-p doi:10.1145/3622758.3622887

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 Article: onward23papers-p39-p doi:10.1145/3622758.3622888

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 Article: onward23papers-p43-p doi:10.1145/3622758.3622889

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

Publisher's Version Published Artifact Artifacts Available Article: onward23papers-p45-p doi:10.1145/3622758.3622890

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

Publisher's Version Article: onward23papers-p73-p doi:10.1145/3622758.3622891

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 Article: onward23papers-p81-p doi:10.1145/3622758.3622892

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 Article: onward23papers-p89-p doi:10.1145/3622758.3622893

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 Article: onward23papers-p95-p doi:10.1145/3622758.3622894

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

Publisher's Version Article: onward23papers-p100-p doi:10.1145/3622758.3622895

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 Article: onward23essays-p2-p doi:10.1145/3622758.3622882

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

Publisher's Version Article: onward23essays-p4-p doi:10.1145/3622758.3622883

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

Publisher's Version Article: onward23essays-p5-p doi:10.1145/3622758.3622884

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

Publisher's Version Article: onward23essays-p7-p doi:10.1145/3622758.3622885