Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Source code for the paper "Low-Latency, High-Throughput Garbage Collection", PLDI 2022. Please chec...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Source code for the paper "Low-Latency, High-Throughput Garbage Collection", PLDI 2022. Please chec...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
DOI
Add to ORKG