The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2022. See the README.md file for more details
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...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
Designing compiler intermediate representations (IRs) is often a manual process that makes explorati...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is an accompanying document for the paper with the same title [7], accepted for publication at ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Add a document for the code structure and add a guide to test other ECC sets at the end of README
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...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
Designing compiler intermediate representations (IRs) is often a manual process that makes explorati...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compi...
This is an accompanying document for the paper with the same title [7], accepted for publication at ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour When Finding and...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Add a document for the code structure and add a guide to test other ECC sets at the end of README
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...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
DOI
Add to ORKG