TY  - RPRT
TI  - Giallar: push-button verification for the qiskit Quantum compiler
AU  - Tao, Runzhou
AU  - Shi, Yunong
AU  - Yao, Jianan
AU  - Li, Xupeng
AU  - Javadi-Abhari, Ali
AU  - Cross, Andrew W.
AU  - Chong, Frederic T.
AU  - Gu, Ronghui
PY  - 2022
DO  - 10.1145/3519939.3523431
UR  - https://www.osti.gov/biblio/1986256
ID  - 1986256
ER  -