| |
Courtès, Ludovic
|
Art Sci. Eng. Program., vol. 7, issue 1: "Building a Secure Software ..."
Building a Secure Software Supply Chain with GNU Guix
Ludovic Courtès
(Inria, France)
 Publisher's Version
 Published Artifact
Artifact Reusable
Article: progj23main-p22-p doi:10.22152/programming-journal.org/2023/7/1
|
| |
Greenman, Ben
|
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|
| |
Kisling, Wolfgang
|
Art Sci. Eng. Program., vol. 7, issue 1: "Compilation Forking: A Fast ..."
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
Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3
|
| |
Krishnamurthi, Shriram |
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|
| |
Leopoldseder, David
|
Art Sci. Eng. Program., vol. 7, issue 1: "Compilation Forking: A Fast ..."
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
Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3
|
| |
Lu, Kuang-Chen |
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|
| |
Meyer, Carl
|
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|
| |
Mosaner, Raphael |
Art Sci. Eng. Program., vol. 7, issue 1: "Compilation Forking: A Fast ..."
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
Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3
|
| |
Mössenböck, Hanspeter |
Art Sci. Eng. Program., vol. 7, issue 1: "Compilation Forking: A Fast ..."
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
Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3
|
| |
Panse, Aniket
|
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|
| |
Stadler, Lukas
|
Art Sci. Eng. Program., vol. 7, issue 1: "Compilation Forking: A Fast ..."
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
Article: progj23main-p67-p doi:10.22152/programming-journal.org/2023/7/3
|
| |
Viehland, Dino
|
Art Sci. Eng. Program., vol. 7, issue 1: "Gradual Soundness: Lessons ..."
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
Published Artifact
Artifact Reusable
Article: progj23main-p45-p doi:10.22152/programming-journal.org/2023/7/2
|