Programming Journal, Volume 7, Issue 1
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

PROGJ – Journal Issue

Contents - Abstracts - Authors


Title Page
Message from the Chairs


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 ORCID logo, Carl Meyer, Dino Viehland, Aniket Panse, and Shriram Krishnamurthi ORCID logo
(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 ORCID logo, David LeopoldsederORCID logo, Wolfgang Kisling, Lukas Stadler ORCID logo, and Hanspeter MössenböckORCID logo
(JKU Linz, Austria; Oracle Labs Vienna, Austria; Oracle Labs Linz, Austria)
Publisher's Version

proc time: 0.71