Volume 8

DOI: https://doi.org/10.22152/programming-journal.org/2024/8

• Volume 8, Issue 1

  1. McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
     Maxwell Pirtle, Luka Jovanovic, and Gene Cooperman
  2. A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
     Iona Thomas, Vincent Aranega, Stéphane Ducasse, Guillermo Polito, and Pablo Tesone
  3. Coqlex: Generating Formally Verified Lexers
     Wendlasida Ouedraogo, Gabriel Scherer, and Lutz Strassburger

• Volume 8, Issue 2

  4. The Design Principles of the Elixir Type System
     Giuseppe Castagna, Guillaume Duboc, and José Valim
  5. Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
     Javier E. Pimás, Stefan Marr, and Diego Garbervetsky
  6. Provably Fair Cooperative Scheduling
     Reiner Hähnle and Ludovic Henrio
  7. Conceptual Mutation Testing for Student Programming Misconceptions
     Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi
  8. Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
     Lovro Lugović and Fabrizio Montesi

• Volume 8, Issue 3

  9. Let a Thousand Flowers Bloom
     An Algebraic Representation for Edge Graphs
     Jack Liell-Cock and Tom Schrijvers
  10. Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
      Marina Shimchenko, Erik Österlund, and Tobias Wrigstad
  11. Reactive Programming without Functions
      Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter
  12. Privacy-Respecting Type Error Telemetry at Scale
      Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, and Mitesh Shah
  13. Broadening the View of Live Programmers
      Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
      Patrick Rein, Christian Flach, Stefan Ramson, Eva Krebs, and Robert Hirschfeld
  14. Arrays in Practice
      An Empirical Study of Array Access Patterns on the JVM
      Beatrice Åkerblom and Elias Castegren
  15. Collective Allocator Abstraction to Control Object Spatial Locality in C++
      Takato Hideshima, Shigeyuki Sato, and Tomoharu Ugawa
  16. LiveRec: Prototyping Probes by Framing Debug Protocols
      Jean-Baptiste Döderlein, Riemer van Rozen, and Tijs van der Storm