ℹ︎  Upcoming Submission Deadline: February 1, 2025

Volume 9, Issue 1

DOI: https://doi.org/10.22152/programming-journal.org/2025/9/issue1

  1. Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
    Patrick Rein, Stefan Ramson, Tom Beckmann, and Robert Hirschfeld
  2. Schema Evolution in Interactive Programming Systems
    Jonathan Edwards, Tomas Petricek, Tijs van der Storm, and Geoffrey Litt
  3. 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