Volume 8, Issue 1

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

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