Volume 10

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

• Volume 10, Issue 1

  1. Monk: Opportunistic Scheduling to Delay Horizontal Scaling
     Marina Shimchenko, Erik Österlund, and Tobias Wrigstad
  2. Conversational Concurrency with Dataspaces and Facets
     Sam Caldwell, Tony Garnock-Jones, and Matthias Felleisen
  3. Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
     Lukas Makor, Sebastian Kloibhofer, Peter Hofer, David Leopoldseder, and Hanspeter Mössenböck
  4. Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
     Mathijs Saey, Joeri De Koster, and Wolfgang De Meuter
  5. Probing the Design Space: Parallel Versions for Exploratory Programming
     Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, and Robert Hirschfeld
  6. An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches
     Aurore Poirier, Erven Rohou, and Manuel Serrano
  7. The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
     Zachary S. Rowland and Saverio Perugini
  8. Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
     Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, and Karim Ali
  9. Meta-compilation of Baseline JIT Compilers with Druid
     Nahuel Palumbo, Guillermo Polito, Stéphane Ducasse, and Pablo Tesone
  10. Study of the Use of Property Probes in an Educational Setting
      Anton Risberg Alaküla, Niklas Fors, and Emma Söderberg
  11. Consistent Distributed Reactive Programming with Retroactive Computation
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
  12. Evolution Language Framework for Persistent Objects
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara
  13. PolyDebug: A Framework for Polyglot Debugging
      Philémon Houdaille, Djamel Eddine Khelladi, Benoit Combemale, Gunter Mussbacher, and Tijs van der Storm
  14. Two Approaches for Programming Education in the Domain of Graphics: An Experiment
      Luca Chiodini, Juha Sorva, Arto Hellas, Otto Seppälä, and Matthias Hauswirth
  15. On the State of Coherence in the Land of Type Classes
      Dimi Racordon, Eugene Flesselle, and Cao Nguyen Pham

• Volume 10, Issue 2

  16. Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
      Andreas Pointner, Josef Pichler, and Herbert Prähofer
  17. If-T: A Benchmark for Type Narrowing
      Hanwen Guo and Ben Greenman
  18. A Type System for Data Privacy Compliance in Active Object Languages
      Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, and Olaf Owe

• Volume 10, Issue 3

  19. Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
      Bohdan Liesnikov, David Binder, and Tim Süberkrüb
  20. Chorex: Restartable, Language-Integrated Choreographies
      Ashton Wiersdorf and Ben Greenman
  21. BlueScript: A Disaggregated Virtual Machine for Microcontrollers
      Fumika Mochizuki, Tetsuro Yamazaki, and Shigeru Chiba