Publication date
March 2023
DOIAbstract
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Memory Models". See README.md for more details
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Memory Models". See README.md for more details
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact of the PLDI 2023 article "Architecture-Preserving Provable Repair of Deep Neura...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
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
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact of the PLDI 2023 article "Architecture-Preserving Provable Repair of Deep Neura...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
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
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Add to ORKG