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

Title Page

Editorial Message

Sponsors

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)

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)

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)