AwesomeREA.org

2026 · Preprint

Decompiling Quantum Assembly into Structured Programs

Pingchuan Ma; Zhantong Xue; Zongjie Li; Qixin Zhang; Yuxuan Du; Zhaoyu Wang; Yuguang Zhou; Shuai Wang; Xiaoqin Zhang

Quelle recovers library calls, loops, functions and symbolic parameters from compiled OpenQASM. It removes routing artifacts, proposes structured reconstructions and checks them against circuit semantics, retaining gate-level fallbacks when recovery fails.

Scope and limitations

Scope is quantum circuits with ideal-device semantics, not original-source identity. Dense checks use a 1e-6 tolerance; larger circuits additionally trust rewrite bookkeeping, an unchecked wide H-conjugation identity and QCEC. Dynamic circuits and timed-out checks remain unverified. Algorithm naming needs templates, and deliberate obfuscation is outside the evaluated scope.

Why it fits this collection

Adds compiler-output structure recovery with explicit correctness-check boundaries in quantum software.

Publication and review details

Venue
arXiv
Status
Preprint
Publication / posting date
October 4, 2026
Date source
First arXiv submission; no formal proceedings publication was verified.
First arXiv submission
October 4, 2026
arXiv
2610.05012
Reviewed arXiv version
v1
DOI
10.48550/arxiv.2610.05012

Reviewed October 4 v1 and DataCite identity. The article is CC BY 4.0. No dedicated author-linked implementation or artifact release was verified from the manuscript and targeted searches; this does not establish software licensing. No circuit, checker or model was run.

Sources reviewed

Source review only; experiments were not rerun for this collection. Cite the original authors using the linked paper or BibTeX.

Primary sources

  1. https://arxiv.org/abs/2610.05012v1
  2. https://arxiv.org/html/2610.05012v1
  3. https://api.datacite.org/dois/10.48550/arxiv.2610.05012