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

Title Page

Message from the Chairs

Committees

Sponsors

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

Publisher's Version Artifact Reusable

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 Artifact Reusable

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