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

Title Page

Article: progj23foreword-fm000-p doi:10.22152/programming-journal.org/2023/7/0

Message from the Chairs

Article: progj23foreword-fm001-p doi:10.22152/programming-journal.org/2023/7/0

Committees

Article: progj23foreword-fm002-p doi:10.22152/programming-journal.org/2023/7/0

Sponsors

Article: progj23foreword-fm003-p doi:10.22152/programming-journal.org/2023/7/0

Building a Secure Software Supply Chain with GNU Guix
Ludovic Courtès
(Inria, France)

Publisher's Version Published Artifact Artifact Reusable Article: progj23main-p22-p doi:10.22152/programming-journal.org/2023/7/1

Gradual Soundness: Lessons from Static Python
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, and Shriram Krishnamurthi
(Brown University, USA; Meta, USA)

Publisher's Version Published Artifact Artifact Reusable Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2

Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Raphael Mosaner, David Leopoldseder, Wolfgang Kisling, Lukas Stadler, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs Vienna, Austria; Oracle Labs Linz, Austria)

Publisher's Version Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3