We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and Python scripts for plotting result
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Our tool, dubbed ev-imp, implements an expected value analysis for probabilistic, imperative program...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
Artifact packaging of source snapshot, evaluation case studies, and mechanized proofs for the aforem...
A software artifact to accompany the paper "Responsive Parallelism with Futures and State," to appea...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Our tool, dubbed ev-imp, implements an expected value analysis for probabilistic, imperative program...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact accompanying the PhD manuscript "Static Type and Value Analysis by Abstract Interpretation ...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
Artifact packaging of source snapshot, evaluation case studies, and mechanized proofs for the aforem...
A software artifact to accompany the paper "Responsive Parallelism with Futures and State," to appea...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
DOI
Add to ORKG