6330707
doi
10.5281/zenodo.6330707
oai:zenodo.org:6330707
Yunong Shi
Amazon
Jianan Yao
Columbia University
Xupeng Li
Columbia University
Ali Javadi-Abhari
IBM
Andrew Cross
IBM
Frederic T. Chong
University of Chicago
Ronghui Gu
Columbia University
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compiler
Runzhou Tao
Columbia University
info:eu-repo/semantics/restrictedAccess
<p>Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compiler</p>
<p> </p>
Zenodo
2022-03-05
info:eu-repo/semantics/other
6330413
1669491899.593181
public
10.5281/zenodo.6330413
isVersionOf
doi