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

Frontmatter

Title Page
Welcome from the Chairs

Papers

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

Essays

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

proc time: 5.68