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

Title Page

Article: onward25foreword-fm000-p (type: Frontmatter) doi:

Welcome from the Chairs

Article: onward25foreword-fm001-p (type: Frontmatter) doi:

Onward! 2025 Organization

Article: onward25foreword-fm002-p (type: Frontmatter) doi:

Synchronous Programming for Kids: A Manifesto
Jean Pichon-Pharabod
(Aarhus University, Denmark)

Publisher's Version Info Article: onward25papers-p1-p (type: Full Paper) doi:10.1145/3759429.3762617

Synchronous Programming for Kids: A Manifesto: Recorded video presentation of "Synchronous Programming for Kids: A Manifesto". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form
Vladyslav Bilyk
(Unaffiliated, Lviv, Ukraine)

Publisher's Version Article: onward25papers-p8-p (type: Full Paper) doi:10.1145/3759429.3762618

Semantics-preserving Transformation of Context-free Grammars into LL(1) Form: Recorded video presentation of "Semantics-preserving Transformation of Context-free Grammars into LL(1) Form". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

ScooPy: Enhancing Program Synthesis with Nested Example Specifications
Tomer Katz and Hila Peleg
(Technion, Israel)

Publisher's Version Article: onward25papers-p9-p (type: Full Paper) doi:10.1145/3759429.3762619

	demo video: ScooPy used on the overview example.
	ScooPy: Enhancing Program Synthesis with Nested Example Specifications: Recorded video presentation of "ScooPy: Enhancing Program Synthesis with Nested Example Specifications". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

Foundational Design Principles and Patterns for Building Robust and Adaptive GenAI-Native Systems
Frederik Vandeputte
(Nokia Bell Labs, Belgium)

Publisher's Version Article: onward25papers-p11-p (type: Full Paper) doi:10.1145/3759429.3762620

Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
Skyler Austen, Shriram Krishnamurthi, and Kathi Fisler
(Brown University, USA)

Publisher's Version Info Article: onward25papers-p12-p (type: Full Paper) doi:10.1145/3759429.3762621

supplement: Forge model, Cope and Drag specification, and trace screenshots.

An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler
Joshua Dahl and Frederick C. Harris Jr.
(University of Nevada at Reno, USA)

Publisher's Version Article: onward25papers-p14-p (type: Full Paper) doi:10.1145/3759429.3762622

X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering
Maximilian Kodetzki, Tabea Bordis, Alex Potanin, and Ina Schaefer
(KIT, Germany; Australian National University, Australia)

Publisher's Version Article: onward25papers-p15-p (type: Full Paper) doi:10.1145/3759429.3762623

X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering: Recorded video presentation of "X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

On Collective Control over User Interfaces in the Face of Network Effects
Caleb Malchik and Joan Feigenbaum
(Yale University, USA)

Publisher's Version Article: onward25papers-p18-p (type: Full Paper) doi:10.1145/3759429.3762624

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
Andrew Fawcet, James Noble, and Michael Homer
(Victoria University of Wellington, New Zealand; Creative Research & Programming, New Zealand)

Publisher's Version Article: onward25papers-p20-p (type: Full Paper) doi:10.1145/3759429.3762625

Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities: Recorded video presentation of "Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

Literate Tracing
Matthew Sotoudeh
(Stanford University, USA)

Publisher's Version Info Article: onward25papers-p21-p (type: Full Paper) doi:10.1145/3759429.3762626

Literate Tracing: Recorded video presentation of "Literate Tracing". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

TideScript: A Domain Specific Language for Peptide Chemistry
Nicholas Morris, Blair Archibald, and S. Hessam M. Mehr
(University of Glasgow, UK)

Publisher's Version Article: onward25papers-p22-p (type: Full Paper) doi:10.1145/3759429.3762627

	Appendix 1 - Thiol-Malemide Procedure in xDL: This appendix shows the full script for the expression of the thiol-malemide conjugation procedure (from reference 30), expressed in xDL.
	TideScript: A Domain Specific Language for Peptide Chemistry: Recorded video presentation of "TideScript: A Domain Specific Language for Peptide Chemistry". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

What You See Is What It Does: A Structural Pattern for Legible Software
Eagon Meng and Daniel Jackson
(Massachusetts Institute of Technology, USA)

Publisher's Version Article: onward25papers-p24-p (type: Full Paper) doi:10.1145/3759429.3762628

What You See Is What It Does: A Structural Pattern for Legible Software: Recorded video presentation of "What You See Is What It Does: A Structural Pattern for Legible Software". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

Carving Text at Its Joints: A New Perspective on Writing and Computers
Kevin Graaf
(Independent Researcher, USA)

Publisher's Version Article: onward25essays-p20-p (type: Full Paper) doi:10.1145/3759429.3762630

Carving Text at Its Joints: A New Perspective on Writing and Computers: Recorded video presentation of "Carving Text at Its Joints: A New Perspective on Writing and Computers". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain
Kartik Chandra, Amanda Liu, Jonathan Ragan-Kelley, and Joshua B. Tenenbaum
(Massachusetts Institute of Technology, USA)

Publisher's Version Info Article: onward25essays-p31-p (type: Full Paper) doi:10.1145/3759429.3762631

Let’s Take Esoteric Programming Languages Seriously
Jeremy Singer and Steve Draper
(University of Glasgow, UK)

Publisher's Version Article: onward25essays-p34-p (type: Full Paper) doi:10.1145/3759429.3762632

The Unix Executable as a Smalltalk Method: And Its Implications for Unix-Smalltalk Unification
Joel Jakubovic
(Charles University, Czechia)

Publisher's Version Info Article: onward25essays-p37-p (type: Full Paper) doi:10.1145/3759429.3762633

The Unix Executable as a Smalltalk Method: Recorded video presentation of "The Unix Executable as a Smalltalk Method". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays

The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future
Charles Averill
(University of Texas at Dallas, USA)

Publisher's Version Article: onward25essays-p78-p (type: Short Paper (4 pages)) doi:10.1145/3759429.3762634

The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future: Recorded video presentation of "The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the Future". Presentation at the Onward! 2025 conference, October 16-18, 2025, https://2025.splashcon.org/track/splash-2025-Onward-papers, https://2025.splashcon.org/track/splash-2025-Onward-Essays