1 Hit in 2.5 sec

Giallar: Push-Button Verification for the Qiskit Quantum Compiler [article]

Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
2022 arXiv   pre-print
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