Published August 25, 2024 | Version v1
Software Open

Artifact for Paper "Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification" in OOPSLA 2024

Creators

  • 1. ROR icon Korea University

Description

This is Zenodo repoistory for Software Artifact of Paper "Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification" appeared in in OOPSLA 2024 (paper link : https://doi.org/10.1145/3689716).

This repository contains a PDF file of artifact manual and runnable software artifact. Running the artifact will give : 

  • Numerical calculation shown in the Examples in the paper
  • Validation of depth cost expression (appeared in Section 6 and 7 of the paper)
  • Producing Speed-up plots in Case Study (appeared in Section 7 of the paper)
  • Implementation of Testing Algorithms

For the further details, see the attached artifact manual. For any questions, contact changukang@korea.ac.kr. The artifact may be continued through following github repo : https://github.com/kupl/FpaaTestArtifact .

 

Files

artifact_manual.pdf

Files (282.4 kB)

Name Size Download all
md5:72aec32b09adb1ada25c2f81d43b6c25
207.8 kB Preview Download
md5:852b6be292d5eae6d32b1c3c2f60b4e5
74.6 kB Preview Download

Additional details

Related works

Is original form of
Software: https://github.com/kupl/FpaaTestArtifact (URL)