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 doi:

Welcome from the Chairs

Article: onward25foreword-fm001-p doi:

Onward! 2025 Organization

Article: onward25foreword-fm002-p doi:

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

Publisher's Version Info Article: onward25papers-p1-p doi:10.1145/3759429.3762617

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

Publisher's Version Article: onward25papers-p8-p doi:10.1145/3759429.3762618

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

Publisher's Version Article: onward25papers-p9-p doi:10.1145/3759429.3762619

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 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 doi:10.1145/3759429.3762621

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 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 doi:10.1145/3759429.3762623

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 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 doi:10.1145/3759429.3762625

Literate Tracing
Matthew Sotoudeh
(Stanford University, USA)

Publisher's Version Info Article: onward25papers-p21-p doi:10.1145/3759429.3762626

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 doi:10.1145/3759429.3762627

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 doi:10.1145/3759429.3762628

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

Publisher's Version Article: onward25essays-p20-p doi:10.1145/3759429.3762630

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 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 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 doi:10.1145/3759429.3762633

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 doi:10.1145/3759429.3762634