257 citations · 628 across the 24 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao +5
This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. Giallar requires no manual specifications, invariants, or proofs, and can automatically v…
cs.PL2019★ 29 cited
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong +1
Noisy, intermediate-scale quantum (NISQ) systems are expected to have a few hundred qubits, minimal or no error correction, limited connectivity and limits on the number of gates t…