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 – Preliminary Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Scalable Spreadsheet-Driven End-User Applications with Incremental Computation
Sean Hadar ORCID logo and Shachar Itzhaky ORCID logo
(Technion, Israel)
Article Search
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
Mathijs Schuts ORCID logo and Jozef Hooman ORCID logo
(Philips, Netherlands; Radboud University Nijmegen, Netherlands; TNO-ESI, Netherlands)
Article Search
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)
Article Search
Trustworthy Formal Natural Language Specifications
Colin S. Gordon ORCID logo and Sergey Matskevich ORCID logo
(Drexel University, USA)
Article Search Artifacts Available
Code Merging using Transformations and Member Identity
André R. Teles ORCID logo and André L. Santos ORCID logo
(ISCTE-IUL, Portugal)
Article Search
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)
Article Search Info
Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers
Assaf Avishahar-Zeira ORCID logo and David H. LorenzORCID logo
(Too Software, Israel; Open University of Israel, Israel)
Preprint Info
Concept-Centric Software Development: An Experience Report
Peter Wilczynski ORCID logo, Taylor Gregoire-WrightORCID logo, and Daniel JacksonORCID logo
(Palantir Technologies, USA; Ontologize, USA; Massachusetts Institute of Technology, USA)
Article Search
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
Mark Marron ORCID logo
(University of Kentucky, USA)
Article Search 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)
Article Search
Whither Problem-Solving Environments?
Matthew Dinmore ORCID logo
(Johns Hopkins University, USA)
Article Search
Sharing a Perspective on the 𝜆-Calculus
Beniamino AccattoliORCID logo
(Inria, France; École Polytechnique, France)
Article Search
programmingLanguage as Language;
James Noble ORCID logo and Robert Biddle ORCID logo
(Research & Programming, New Zealand; Carleton University, Canada)
Article Search

proc time: 0.02