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
June, 2022
PDF Code
Type
Conference paper
Publication
PLDI 2022
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.