Giallar: push-button verification for the qiskit Quantum compiler.

Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

Browse the full PLDI paper archive.