August 2025

Conference Paper

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language

By:
Adams, Austin; Khan, Sharjeel; Bhamra, Arjun; Abusaada, Ryan; Cabrera, Anthony; Hoechst, Cameron; Humble, Travis S; Young, Jeffrey; Conte, Tom
Page Number:
444-458
Book Title:
CGO '25: Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization
Publication Date:
August 19, 2025
Publisher Location:
Association for Computing Machinery, New York, United States of America
Conference Name:
CGO '25: 23rd ACM/IEEE International Symposium on Code Generation and Optimization
Conference Location:
Las Vegas, Nevada, United States of America
Conference Sponsor:
ACM SIGPLAN
View DOI Listing:
https://doi.org/10.1145/3696443.3708966

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.

Related Researchers