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