Programming Journal, Volume 9, Issue 1
The Art, Science, and Engineering of Programming

Title Page

Article: progj25foreword-fm000-p doi:10.22152/programming-journal.org/2025/9/0

Editorial Message

Article: progj25foreword-fm001-p doi:10.22152/programming-journal.org/2025/9/0

Sponsors

Article: progj25foreword-fm003-p doi:10.22152/programming-journal.org/2025/9/0

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
Patrick Rein, Stefan Ramson, Tom Beckmann, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version Article: progj25main-p11-p doi:10.22152/programming-journal.org/2025/9/1

Schema Evolution in Interactive Programming Systems
Jonathan Edwards, Tomas Petricek, Tijs van der Storm, and Geoffrey Litt
(Independent, USA; Charles University, Czechia; CWI, Netherlands; University of Groningen, Netherlands; Ink & Switch, USA)

Publisher's Version Article: progj25main-p69-p doi:10.22152/programming-journal.org/2025/9/2

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, and Jean-Christophe Filliâtre
(OCamlPro, France; Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria - LMF, France; INESC-ID, Portugal; University of Lisbon, Portugal)

Publisher's Version Article: progj25main-p73-p doi:10.22152/programming-journal.org/2025/9/3