researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Programming Journal
Home
Index
Info
Issue
Volume
7
, Issue
1
1
--
0
Ludovic Courtès
.
Building a Secure Software Supply Chain with GNU Guix
2
--
0
Kuang-chen Lu
,
Ben Greenman
,
Carl Meyer
,
Dino Viehland
,
Aniket Panse
,
Shriram Krishnamurthi
.
Gradual Soundness: Lessons from Static Python
3
--
0
Raphael Mosaner
,
David Leopoldseder
,
Wolfgang Kisling
,
Lukas Stadler
,
Hanspeter Mössenböck
.
Compilation Forking: A Fast and Flexible Way of Generating Data for Compiler-Internal Machine Learning Tasks