The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be published in PLDI 2023. This artefact contains all the programs to reproduce the evaluation of our paper. You can find the instructions in the README.pdf file
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
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...
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...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
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...
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...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This repository contains the artifact for the following paper: Practically and Theoretically Effici...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
DOI