Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
O\u{g}uzcan K{\i}rmemi\c{s}, Francisco Rom\~ao, Emmanouil Giortamis, Pramod Bhatotia

TL;DR
Weaver is a novel, extensible quantum compiler framework designed for emerging FPQA architectures, enabling efficient retargeting, optimization, and verification of quantum code across diverse hardware platforms.
Contribution
It introduces WQASM, a formal extension of OpenQASM for FPQAs, along with WOptimizer and WChecker, creating the first comprehensive retargetable compiler for FPQAs.
Findings
10^3× faster compilation times
4.4× improved execution times
10% increase in fidelity
Abstract
While the prominent quantum computing architectures are based on superconducting technology, new quantum hardware technologies are emerging, such as Trapped Ions, Neutral Atoms (or FPQAs), Silicon Spin Qubits, etc. This diverse set of technologies presents fundamental trade-offs in terms of scalability, performance, manufacturing, and operating expenses. To manage these diverse quantum technologies, there is a growing need for a retargetable compiler that can efficiently adapt existing code to these emerging hardware platforms. Such a retargetable compiler must be extensible to support new and rapidly evolving technologies, performant with fast compilation times and high-fidelity execution, and verifiable through rigorous equivalence checking to ensure the functional equivalence of the retargeted code. To this end, we present , the first extensible, performant, and verifiable…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Parallel Computing and Optimization Techniques · Cloud Computing and Resource Management
