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

Programming Journal, Volume 7, Issue 1 – Preliminary Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Building a Secure Software Supply Chain with GNU Guix
Ludovic Courtès
(Inria, France)
Article Search 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)
Article Search Artifact Reusable
Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks
Raphael Mosaner, David LeopoldsederORCID logo, Wolfgang Kisling, Lukas Stadler, and Hanspeter MössenböckORCID logo
(JKU Linz, Austria; Oracle Labs Vienna, Austria; Oracle Labs Linz, Austria)
Article Search

proc time: 0.82