Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
- Anonymous
Publication date
March 2023
DOIAbstract
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
Artifact for PLDI 23 paper: Garbage-Collection Safety for Region-Based Type-Polymorphic Program
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact for the PLDI 2023 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...
Source code for the paper "Low-Latency, High-Throughput Garbage Collection", PLDI 2022. Please chec...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact submission for the paper 'Formally Verified Samplers From Probabilistic Programs With Loops...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact for the PLDI 2023 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...
Source code for the paper "Low-Latency, High-Throughput Garbage Collection", PLDI 2022. Please chec...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact submission for the paper 'Formally Verified Samplers From Probabilistic Programs With Loops...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Add to ORKG