Software Restricted Access

Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compiler

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

Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compiler

 

Files
Restricted Access

You may request access to the files in this upload, provided that you fulfil the conditions below. The decision whether to grant/deny access is solely under the responsibility of the record owner.

This version is for PLDI 2022 artifact evaluation.

Please visit our GitHub repo for the newest version.

https://github.com/taorunz/Giallar

Request access...
300
21
views
downloads
All versions This version
Views 300208
Downloads 2121
Data volume 20.2 GB20.2 GB
Unique views 223167
Unique downloads 1313
More info on how stats are collected.
Indexed in
Publication date:
March 5, 2022
DOI:
10.5281/zenodo.6330707

Zenodo DOI Badge

DOI 

10.5281/zenodo.6330707

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6330707.svg)](https://doi.org/10.5281/zenodo.6330707)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6330707.svg
   :target: https://doi.org/10.5281/zenodo.6330707

HTML 

<a href="https://doi.org/10.5281/zenodo.6330707"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6330707.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6330707.svg

Target URL 

https://doi.org/10.5281/zenodo.6330707

Versions

Version 3 10.5281/zenodo.6330707 Mar 5, 2022
Version 2 10.5281/zenodo.6330438 Mar 5, 2022
Version 1 10.5281/zenodo.6330414 Mar 5, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6330413. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export