Onward! 2026 – Preliminary Table of Contents

2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2026), October 4–9, 2026, Oakland, CA, USA

Frontmatter

Title Page
Article: onward26foreword-fm000-p (type: Frontmatter) doi:

Welcome from the Chairs
Article: onward26foreword-fm001-p (type: Frontmatter) doi:

Onward! 2026 Organization
Article: onward26foreword-fm002-p (type: Frontmatter) doi:

Papers

Escaping the DAG Dogma: Toward Modular Reactive Architectures
Rivka Altshuler and David H. Lorenz
(Open University of Israel, Israel)

Article Search Article: onward26papers-p2-p (type: Full Paper) doi:10.1145/3840586.3843206

Glassbox Debugging: Code as Interface for No-Code
Niv Benaloul and David H. Lorenz
(Open University of Israel, Israel; Technion, Israel)

Article Search Article: onward26papers-p4-p (type: Full Paper) doi:10.1145/3840586.3843207

Normalization by Origin, Not by Shape
Marco Servetto and Colin S. Gordon
(Victoria University of Wellington, New Zealand; Drexel University, USA)

Article Search Article: onward26papers-p5-p (type: Full Paper) doi:10.1145/3840586.3843208

Croquetify: Transforming Single-User Functional Reactive Programs into Multi-user Applications
Yoshiki Ohshima, Aran Lunzer, and David A. Smith
(Shizuoka University, USA; Independent Software Engineer, USA; axona.net, USA)

Article Search Article: onward26papers-p7-p (type: Full Paper) doi:10.1145/3840586.3843209

Assignment Has Never Existed: Programs Have Always Been Difference Equations
Aamod Sane
(FLAME University, India)

Article Search Article: onward26papers-p11-p (type: Full Paper) doi:10.1145/3840586.3843210

Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems
Andrew Chen
(Minnesota State University Moorhead, USA)

Article Search Article: onward26papers-p14-p (type: Full Paper) doi:10.1145/3840586.3843211

The Developer as Curator: A Canvas for Coding Agent Context
Lukas Böhme, Tom Beckmann, Michael Perscheid, and Robert Hirschfeld
(Hasso Plattner Institute - University of Potsdam, Germany; Kyoto University of Advanced Science, Japan; SAP SE, Potsdam, Germany)

Article Search Article: onward26papers-p18-p (type: Full Paper) doi:10.1145/3840586.3843212

The Choose-Your-Own-Adventure Calculus
Tomas Petricek, Jan Liam Verter, and Mikolas Fromm
(Charles University, Czech Republic; Imperial College London, UK)

Article Search Article: onward26papers-p20-p (type: Full Paper) doi:10.1145/3840586.3843213

Essays

Programs Should Be Comics, Their Execution — Animation
Maciej Bronisław Godek
(Gdynia Maritime University, Poland)

Article Search Article: onward26essays-p6-p (type: Full Paper) doi:10.1145/3840586.3843743

Agents as Software: A Programming Languages Agenda for Agent Reliability
Shraddha Barke and Adithya Murali
(Microsoft Research, Redmond, USA; University of Wisconsin-Madison, USA)

Article Search Article: onward26essays-p17-p (type: Full Paper) doi:10.1145/3840586.3843744

The Spreadsheet Was the Constitution: On Constitutional Materials in the Software Age
Abutalib Namazov
(Massachusetts Institute of Technology, USA)

Article Search Article: onward26essays-p32-p (type: Full Paper) doi:10.1145/3840586.3843745

(This Is Not a Paper about) Mutation Driven Development
Alex Groce
(Northern Arizona University, USA)

Article Search Article: onward26essays-p38-p (type: Full Paper) doi:10.1145/3840586.3843747

Towards Critical Abstraction for Software
Alice Mira Chung, Devamardeep Hayatpur, Philip J. Guo, and Tomas Petricek
(University of California at San Diego, USA; Charles University, Czech Republic)

Article Search Article: onward26essays-p74-p (type: Full Paper) doi:10.1145/3840586.3843748

Objects and Classes Will Do: The Power of Uniformity and Generality
Ole Lehrmann Madsen and Birger Møller-Pedersen
(Aarhus University, Denmark; University of Oslo, Norway)

Article Search Article: onward26essays-p94-p (type: Full Paper) doi:10.1145/3840586.3843749