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

Title Page


Article: onward23foreword-fm000-p doi:

Welcome from the Chairs


Article: onward23foreword-fm001-p doi:

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


@InProceedings{Onward!23p1, author = {Sean Hadar and Shachar Itzhaky}, title = {Scalable Spreadsheet-Driven End-User Applications with Incremental Computation}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3622758.3622887}, year = {2023}, } Publisher's Version Article: onward23papers-p20-p doi:10.1145/3622758.3622887

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


@InProceedings{Onward!23p23, author = {Mathijs Schuts and Jozef Hooman}, title = {Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3622758.3622888}, year = {2023}, } Publisher's Version Article: onward23papers-p39-p doi:10.1145/3622758.3622888

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


@InProceedings{Onward!23p45, author = {Samyak Jhaveri and Alberto Krone-Martins and Cristina V. Lopes}, title = {Cloning and Beyond: A Quantum Solution to Duplicate Code}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3622758.3622889}, year = {2023}, } Publisher's Version Article: onward23papers-p43-p doi:10.1145/3622758.3622889

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


@InProceedings{Onward!23p67, author = {Colin S. Gordon and Sergey Matskevich}, title = {Trustworthy Formal Natural Language Specifications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3622758.3622890}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: onward23papers-p45-p doi:10.1145/3622758.3622890

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


@InProceedings{Onward!23p89, author = {André R. Teles and André L. Santos}, title = {Code Merging using Transformations and Member Identity}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3622758.3622891}, year = {2023}, } Publisher's Version Article: onward23papers-p73-p doi:10.1145/3622758.3622891

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)


@InProceedings{Onward!23p111, author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld}, title = {Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3622758.3622892}, year = {2023}, } Publisher's Version Article: onward23papers-p81-p doi:10.1145/3622758.3622892

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)


@InProceedings{Onward!23p133, author = {Assaf Avishahar-Zeira and David H. Lorenz}, title = {Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {133-132}, doi = {10.1145/3622758.3622893}, year = {2023}, } Publisher's Version Article: onward23papers-p89-p doi:10.1145/3622758.3622893

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)


@InProceedings{Onward!23p155, author = {Peter Wilczynski and Taylor Gregoire-Wright and Daniel Jackson}, title = {Concept-Centric Software Development: An Experience Report}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3622758.3622894}, year = {2023}, } Publisher's Version Article: onward23papers-p95-p doi:10.1145/3622758.3622894

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


@InProceedings{Onward!23p177, author = {Mark Marron}, title = {Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3622758.3622895}, year = {2023}, } Publisher's Version Article: onward23papers-p100-p doi:10.1145/3622758.3622895

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)


@InProceedings{Onward!23p199, author = {Advait Sarkar}, title = {Will Code Remain a Relevant User Interface for End-User Programming with Generative AI Models?}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {199-198}, doi = {10.1145/3622758.3622882}, year = {2023}, } Publisher's Version Article: onward23essays-p2-p doi:10.1145/3622758.3622882

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


@InProceedings{Onward!23p217, author = {Matthew Dinmore}, title = {Whither Problem-Solving Environments?}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {217-216}, doi = {10.1145/3622758.3622883}, year = {2023}, } Publisher's Version Article: onward23essays-p4-p doi:10.1145/3622758.3622883

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


@InProceedings{Onward!23p235, author = {Beniamino Accattoli}, title = {Sharing a Perspective on the 𝜆-Calculus}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3622758.3622884}, year = {2023}, } Publisher's Version Article: onward23essays-p5-p doi:10.1145/3622758.3622884

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


@InProceedings{Onward!23p253, author = {James Noble and Robert Biddle}, title = {programmingLanguage as Language;}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {253-252}, doi = {10.1145/3622758.3622885}, year = {2023}, } Publisher's Version Article: onward23essays-p7-p doi:10.1145/3622758.3622885