A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. ... With Giallar, we implemented and verified 44 (out of 56) compiler passes in 13 versions of the Qiskit compiler, the open-source quantum compiler standard, during which three bugs were detected in and confirmed ... Acknowledgments We thank our shepherd, Sorav Bansal, and the anonymous reviewers for valuable feedbacks that help improving this paper. ...arXiv:2205.00661v1 fatcat:5v5nbh5kxzhhxoftra5vq63ihe