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

Title Page

Message from the Chairs

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

Article Search

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

Article Search

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

Article Search

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

Article Search Artifacts Available

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

Article Search

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)

Article Search 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)

Preprint 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)

Article Search

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

Article Search 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)

Article Search

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

Article Search

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

Article Search

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

Article Search