ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R., Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, and Jeffrey S. Young, Thomas M. Conte

TL;DR
This paper introduces ASDF, a compiler for the basis-oriented quantum programming language Qwerty, which translates high-level basis functions into hardware-compatible quantum circuits, enabling efficient simulation and execution.
Contribution
The paper presents a novel high-level quantum IR and a compiler that handles basis translations and function forms, advancing quantum compilation techniques.
Findings
ASDF produces circuits with comparable fault-tolerant resource requirements to existing compilers.
The compiler generates OpenQASM 3 or QIR for simulation and hardware execution.
ASDF effectively addresses the challenges of compiling basis-oriented quantum programs.
Abstract
Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically specializing adjoint or predicated forms of functions. This paper presents ASDF, an open-source compiler for Qwerty that answers these challenges in compiling basis-oriented languages. Enabled with a novel high-level quantum IR implemented in the MLIR framework, our compiler produces OpenQASM 3 or QIR for either simulation or execution on hardware. Our compiler is evaluated by comparing the fault-tolerant resource requirements of generated circuits with other compilers, finding that ASDF produces circuits with comparable cost to prior circuit-oriented compilers.
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 · Quantum Mechanics and Applications · Quantum Information and Cryptography
