Onward! 2023
2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2023)
Powered by
Conference Publishing Consulting

2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2023), October 25–27, 2023, Cascais, Portugal

Onward! 2023 – Proceedings

Contents - Abstracts - Authors


Title Page
Welcome from the Chairs


Scalable Spreadsheet-Driven End-User Applications with Incremental Computation
Sean Hadar ORCID logo and Shachar Itzhaky ORCID logo
(Technion, Israel)
Publisher's Version
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Mathijs Schuts ORCID logo and Jozef Hooman ORCID logo
(Radboud University Nijmegen, Netherlands; TNO-ESI, Netherlands)
Publisher's Version
Cloning and Beyond: A Quantum Solution to Duplicate Code
Samyak Jhaveri ORCID logo, Alberto Krone-Martins ORCID logo, and Cristina V. Lopes ORCID logo
(University of California at Irvine, USA)
Publisher's Version
Trustworthy Formal Natural Language Specifications
Colin S. Gordon ORCID logo and Sergey Matskevich ORCID logo
(Drexel University, USA)
Publisher's Version Published Artifact Artifacts Available
Code Merging using Transformations and Member Identity
André R. Teles ORCID logo and André L. Santos ORCID logo
(ISCTE-IUL, Portugal)
Publisher's Version
Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging
Christoph Thiede ORCID logo, Marcel TaeumelORCID logo, and Robert Hirschfeld ORCID logo
(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 ORCID logo and David H. Lorenz ORCID logo
(Too Software, Israel; Open University of Israel, Israel)
Publisher's Version Info
Concept-Centric Software Development: An Experience Report
Peter Wilczynski ORCID logo, Taylor Gregoire-Wright ORCID logo, and Daniel JacksonORCID logo
(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 ORCID logo
(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 ORCID logo
(Microsoft Research, UK; University of Cambridge, UK; University College London, UK)
Publisher's Version
Whither Problem-Solving Environments?
Matthew Dinmore ORCID logo
(Johns Hopkins University, USA)
Publisher's Version
Sharing a Perspective on the 𝜆-Calculus
Beniamino AccattoliORCID logo
(Inria, France; École Polytechnique, France)
Publisher's Version
programmingLanguage as Language;
James Noble ORCID logo and Robert Biddle ORCID logo
(Research & Programming, New Zealand; Australian National University, Australia; Carleton University, Canada)
Publisher's Version

proc time: 6.04