Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 2
Data and scripts for the benchmarks QIA.E.MPQ.REF.02a, QIA.E.MPQ.REF.04, QIA.E.MPQ.REF.08
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
Qiskit Nature is an open-source, quantum computing, framework for solving quantum mechanical natural...
Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms...
This dataset contains the programs generated in 48 hours of software testing of Qiskit platform. The...
Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, ...
Qiskit Experiments is a Python package for designing and running quantum computing experiments with ...
Research using Qiskit. This repository contains modules for running quantum computing research exper...
The source code and instructions for creating the benchmarks and figures from the paper are zipped i...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
The mission of QuTech is to bring quantum technology to industry and society by translating fundamen...
This project is one of the Qiskit mentorship programs to replicate two papers arXiv:1905.10876 and a...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
Data and scripts for the benchmarks QIA.E.MPQ.REF.02a, QIA.E.MPQ.REF.04, QIA.E.MPQ.REF.08
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
Qiskit Nature is an open-source, quantum computing, framework for solving quantum mechanical natural...
Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms...
This dataset contains the programs generated in 48 hours of software testing of Qiskit platform. The...
Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, ...
Qiskit Experiments is a Python package for designing and running quantum computing experiments with ...
Research using Qiskit. This repository contains modules for running quantum computing research exper...
The source code and instructions for creating the benchmarks and figures from the paper are zipped i...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
The mission of QuTech is to bring quantum technology to industry and society by translating fundamen...
This project is one of the Qiskit mentorship programs to replicate two papers arXiv:1905.10876 and a...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
Artifact virtual machine for "A Verified Optimizer for Quantum Circuits." Paper available at https:/...
Data and scripts for the benchmarks QIA.E.MPQ.REF.02a, QIA.E.MPQ.REF.04, QIA.E.MPQ.REF.08
Quartz is a quantum circuit optimizer that automatically generates and verifies circuit transformati...
Qiskit Nature is an open-source, quantum computing, framework for solving quantum mechanical natural...