Add a document for the code structure and add a guide to test other ECC sets at the end of README
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Update the experiments for the camera-ready version, add Python scripts to show the results in a cle...
Add links to Zenodo (this version corresponds to v1.2.4 on Zenodo) and minor fixes
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. ...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
Update the experiments for the camera-ready version, add Python scripts to show the results in a cle...
Add links to Zenodo (this version corresponds to v1.2.4 on Zenodo) and minor fixes
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
Artifact associated with PLDI 2021 paper, "Test-Case Reduction and Deduplication Almost for Free wit...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. ...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
The artifact for "Collecting cyclic garbage across foreign function interfaces", which will be publi...
DOI
Add to ORKG