research
∙
09/27/2022
Boosting Quantum Fidelity with an Ordered Diverse Ensemble of Clifford Canary Circuits
On today's noisy imperfect quantum devices, execution fidelity tends to ...
share
research
∙
09/25/2022
Navigating the dynamic noise landscape of variational quantum algorithms with QISMET
Transient errors from the dynamic NISQ noise landscape are challenging t...
research
∙
08/17/2022
Better Than Worst-Case Decoding for Quantum Error Correction
The overheads of classical decoding for quantum error correction on supe...
research
∙
07/13/2022
Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers
We describe a family of recursive methods for the synthesis of qubit per...
research
∙
05/02/2022
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
This paper presents Giallar, a fully-automated verification toolkit for ...
research
∙
08/23/2019
Contract-based verification of a realistic quantum compiler
In this paper, we present CertiQ, a mostly-automated verification framew...
research
∙
05/27/2019
Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
In recent years, Quantum Computing (QC) has progressed to the point wher...
research
∙
03/08/2019
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
Noisy, intermediate-scale quantum (NISQ) systems are expected to have a ...
research
∙
01/30/2019