This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit optimizers) as well as a README.md with instructions for artifact evaluation using the provided scripts and benchmarks in the Docker image. The compressed Docker image is provided but the instructions also indicate how to pull it from Docker Hub
A visual editor for quantum algorithms. The source code repository can be found here: https://githu...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
A visual editor for quantum algorithms. The source code repository can be found here: https://githu...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This software artifact includes the source code for QUESO (a tool for synthesizing quantum-circuit o...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
A visual editor for quantum algorithms. The source code repository can be found here: https://githu...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
DOI
Add to ORKG