122 citations · 319 across the 13 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.PL2021★ 3 cited
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
Runzhou Tao, Yunong Shi, Jianan Yao +3
Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs…