@misc{indiciae2a61cb089587,
  title = {Giallar: push-button verification for the qiskit Quantum compiler},
  author = {Tao, Runzhou and Shi, Yunong and Yao, Jianan and Li, Xupeng and Javadi-Abhari, Ali and Cross, Andrew W. and Chong, Frederic T. and Gu, Ronghui},
  year = {2022},
  doi = {10.1145/3519939.3523431},
  url = {https://www.osti.gov/biblio/1986256},
  note = {Source identifier: 1986256}
}