SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short.

An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.

See the Call for Essays for more information. Essays can be submitted via the Onward! 2025 Essays submissions page.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 16 Oct

Displayed time zone: Perth change

13:45 - 15:30
Onward! Essays 1Onward! Essays / Onward! Papers at Peony SE
Chair(s): Michael Coblenz University of California, San Diego
13:45
40m
Short-paper
The Proof Must Go On: Formal Methods in the Theater of Secure Software Development of the FutureRemote
Onward! Essays
Charles Averill University of Texas at Dallas
DOI Pre-print
14:25
40m
Talk
The Unix Executable as a Smalltalk Method
Onward! Essays
Joel Jakubovic Charles University in Prague
DOI Pre-print
16:00 - 17:30
LanguagesOnward! Papers at Peony SE
Chair(s): Tomoharu Ugawa University of Tokyo
16:00
30m
Talk
Semantics-preserving Transformation of Context-free Grammars into LL(1) Form
Onward! Papers
16:30
30m
Talk
An Argument for the Practicality of Entity Component Systems as the Primary Data Structure for an Interpreter or Compiler
Onward! Papers
Joshua Dahl University of Nevada, Reno, Frederick C. Harris Jr. University of Nevada, Reno
17:00
30m
Talk
TideScript: A Domain Specific Language for Peptide Chemistry
Onward! Papers
Nicholas Morris University of Glasgow, Blair Archibald University of Glasgow, S Hessam M Mehr University of Glasgow

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
ToolsOnward! Papers at Peony SE
Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon
10:30
30m
Talk
What You See Is What It Does: A Structural Pattern for Legible Software
Onward! Papers
A: Eagon Meng MIT, A: Daniel Jackson MIT
11:00
30m
Talk
Literate Tracing
Onward! Papers
Matthew Sotoudeh Stanford University
Pre-print Media Attached
11:30
30m
Talk
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
Onward! Papers
Tomer Katz Technion Israel Institute of Technology, Hila Peleg Technion
13:45 - 15:30
Onward! Essays 2Onward! Essays / Onward! Papers at Peony SE
Chair(s): James Noble Independent. Wellington, NZ
13:45
40m
Talk
Carving Text at Its Joints: A New Perspective on Writing and Computers
Onward! Essays
Kevin Graaf Independent Researcher
14:25
40m
Talk
Let's Take Esoteric Programming Languages Seriously
Onward! Essays
Jeremy Singer University of Glasgow, Steve Draper University of Glasgow
DOI Pre-print
16:00 - 17:30
ConcurrencyOnward! Papers at Peony SE
Chair(s): Hidehiko Masuhara Institute of Science Tokyo
16:00
30m
Talk
Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities
Onward! Papers
Andrew Fawcett Victoria University of Wellington, James Noble Independent. Wellington, NZ, Michael Homer Victoria University of Wellington
16:30
30m
Talk
Synchronous Programming for Kids: A Manifesto
Onward! Papers
Jean Pichon-Pharabod Aarhus University

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Onward! Papers and EssayOnward! Papers / Onward! Essays at Peony SE
Chair(s): Stephen Kell King's College London
10:30
30m
Talk
X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
Onward! Papers
Maximilian Kodetzki Karlsruhe Institute of Technology, Tabea Bordis Karlsruhe Institute of Technology, Alex Potanin Australian National University, Ina Schaefer KIT
11:00
40m
Talk
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
Onward! Essays
Kartik Chandra MIT, Amanda Liu Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology
11:40
10m
Talk
Closing
Onward! Papers

Call for Essays

Essays can be submitted via the Onward! 2025 Essays submissions page.

Scope

Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short.

An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings.

Onward! Essays invites proficient software developers, experienced academics, and courageous graduate students to submit essays on the current state and possible futures of software development technology and practices, as well as presentations of ideas that could change the realm of software development. Constructive criticism is welcome and authors who are dissatisfied—or satisfied!—with the state of our art are encouraged to share insights about how to reform—or improve—software development, perhaps by presenting detailed examples of a new approach, demonstrating concrete benefits and potential risks.

Onward! Essays is not looking for research-as-usual papers—an essay doesn’t contain definitive validation; however, regardless of its form or topic, the essay must have “substance.” An essay may or may not have a conclusion, but it must provide some insight or compelling argument, either directly or indirectly stated; the reader should be left—perhaps after some reflection—in no doubt about the claimed insight or argument. The key characteristic of a successful essay is that it shows a keen mind coming to grips with a tough or intriguing problem in such a way that, as Virginia Woolf wrote, “it explains much and tells much.”

Long essays are fine, but essayists are encouraged to consider the virtues of short essays that deliver their points sharply and with precision. Essays as short as a single page are welcome at Onward! Essays. Short essays will be accorded the same status at Onward! Essays as longer ones.

Essays Selection

Onward! essays are peer-reviewed in a single-blind manner. Accepted essays will appear in the Onward! Proceedings in the ACM Digital Library. Submissions will be judged on the potential impact of the ideas and the quality of the presentation.

Here is an overview of previously accepted essays from the last five years:

The Onward! Essays track follows a two-phase review process. This enables us to welcome contributions that contain promising material and have the potential to meet the conference’s standards, but which may fall short of this in their initial form. At the end of the first round, all essays will be either accepted normally, subject to revisions, or rejected outright. The authors of essays in the second category will get around one month to complete the requested revisions, at which point the original reviewers will decide on final acceptance or rejection. As usual, essays in the first category will also receive feedback from the reviewers, and the corresponding authors will be required to take that feedback into account for the final submission.

In order to facilitate the second round of review, authors of essays in need of major revisions will be requested to accompany their second submission with a cover letter mapping the requested revisions to specific parts of the essay. The program committee will use the cover letter and the revised submission to arrive at a final decision.

The second phase will only be used to elevate promising work to the conference’s standard, not to require additional work on essays already deemed up-to-standard.

Instructions for Authors

Essays should use the ACM SIGPLAN Conference acmart Format, with the sigplan and review \documentclass options. This produces two-column, 10pt files. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart templates provided here. All submissions should be in PDF format. Authors need to ensure their submissions are legible when printed on a black and white printer and that colors remain distinct and font sizes are legible.

The following list describes the typical expectations for a submission:

  • All submitted essays should conform to the formatting instructions unless there is a reason founded in the nature of the essay to do otherwise; in this case, please preface the essay with the reasons for the variation.

  • Essays must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

  • There is no limit on the length of submissions, but note that reviewers will not be obligated to read beyond the end of their interest. The main part of the final version should not exceed 14 pages unless there are two program committee members who believe the content requires a longer essay, and the quality of the writing is likely to sustain readers. If otherwise your final version is longer than those 25 pages, you must clear the overage with the PC chair before the final deadline, with enough time that the program committee can re-examine it. No limit is imposed on the bibliographic section or other appendices.

However, given the nature of the Onward! Essays track, we understand that authors of certain submissions might have special requirements. If there are any concerns, please contact the PC Chair (or, if you prefer, a different member of the PC) to discuss the issue.

PC submissions are permitted, but will receive an additional review.

Authors of accepted papers are strongly encouraged to present their work in person at the conference but that is not required. There will be a remote participation option, the details of which are to be decided.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.

Submissions

Essays can be submitted via the Onward! 2025 Essays submissions page.

Questions? Use the SPLASH Onward! Essays contact form.