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

Title Page

Message from the Chairs

Committees

Sponsors

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Maxwell Pirtle , Luka Jovanovic , and Gene Cooperman 
(Northeastern University, USA)

Publisher's Version

A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
Iona Thomas , Vincent Aranega , Stéphane Ducasse , Guillermo Polito , and Pablo Tesone 
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)

Publisher's Version

Coqlex: Generating Formally Verified Lexers
Wendlasida Ouedraogo , Gabriel Scherer , and Lutz Strassburger 
(Siemens Mobility, France; Inria, France; École Polytechnique, France)

Publisher's Version