ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
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, a 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.
Tue 4 MarDisplayed time zone: Pacific Time (US & Canada) change
11:20 - 12:00 | |||
11:20 20mTalk | ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language Main Conference Austin J. Adams Georgia Institute of Technology, Sharjeel Khan Google, Arjun Bhamra Georgia Institute of Technology, Ryan Abusaada Georgia Institute of Technology, Anthony Cabrera Oak Ridge National Laboratory, Cameron Hoechst Georgia Institute of Technology, Travis S. Humble Oak Ridge National Laboratory, Jeffrey Young Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology | ||
11:40 20mTalk | Qubit Movement-Optimized Program Generation on Zoned Neutral Atom Processors Main Conference Enhyeok Jang Yonsei University, Youngmin Kim Yonsei University, Hyungseok Kim Yonsei University, Seungwoo Choi Yonsei University, Yipeng Huang Rutgers University, Won Woo Ro Yonsei University | ||