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

Title Page

Welcome from the Chairs

Onward! 2025 Organization

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

Publisher's Version Info

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

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

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

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

Publisher's Version

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

Literate Tracing
Matthew Sotoudeh
(Stanford University, USA)

Publisher's Version Info

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

Publisher's Version

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

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version Info

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