Volume 7, Issue 1

DOI: https://doi.org/10.22152/programming-journal.org/2023/7/issue1

  1. Building a Secure Software Supply Chain with GNU Guix
    Ludovic Courtès
  2. Gradual Soundness: Lessons from Static Python
    Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, and Shriram Krishnamurthi
  3. 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