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.
| Original language | English |
|---|---|
| Title of host publication | CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization |
| Editors | Johannes Doerfert, Tobias Grosser, Hugh Leather, P.. Sadayappan |
| Publisher | Association for Computing Machinery, Inc |
| Pages | 444-458 |
| Number of pages | 15 |
| ISBN (Electronic) | 9798400712753 |
| DOIs | |
| State | Published - Mar 1 2025 |
| Event | 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025 - Las Vegas, United States Duration: Mar 1 2025 → Mar 5 2025 |
Publication series
| Name | CGO 2025 - Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization |
|---|
Conference
| Conference | 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025 |
|---|---|
| Country/Territory | United States |
| City | Las Vegas |
| Period | 03/1/25 → 03/5/25 |
Funding
The authors thank the anonymous reviewers and Pulkit Gupta for their helpful feedback. We acknowledge support for this work from NSF planning grant #2016666 and through the ORNL STAQCS project. Support for this work also came from the U.S. Department of Energy, Office of Science, Advanced Scientific Computing Research Accelerated Research in Quantum Computing Program under field work proposal ERKJ332. This research was supported in part through research infrastructure and services provided by the Rogues Gallery testbed [37, 63] hosted by the Center for Research into Novel Computing Hierarchies (CRNCH) at Georgia Tech. The Rogues Gallery testbed is primarily supported by the NSF under NSF Award Number #2016701.
Keywords
- domain-specific languages
- Quantum compilation