Uploaded November 2025 | Updated September 2026, 2 weeks ago
2025 US LLVM Developers' Meeting
llvm.org/devmtg/2025-10
------
Title: Leveraging MLIR to Compile a Basis-Oriented Quantum Programming Language
Speaker: Austin Adams
------
Slides: llvm.org/devmtg/2025-10/slides/student_talks/adams.pdf
-----
Quantum computing has leaped from the theoretical realm into a competitive commercial race, but programming quantum computers remains challenging. Quantum programming languages today require programmers to master both physics notation and quantum gate engineering. The Qwerty quantum programming language was recently proposed (arXiv:2404.12603) as a higher-level abstraction providing primitives rooted in quantum bases rather than low-level quantum circuitry. The semantic gap between Qwerty's novel basis-oriented constructs and traditional quantum circuits renders existing quantum compilers unsuitable for compiling Qwerty code. This talk describes how MLIR is used in our Qwerty compiler to compile Qwerty code embedded in Python into quantum assembly or LLVM IR. The full architecture of our compiler is described, including custom MLIR dialects, interfaces, analyses, and passes. A brief comparison between all known quantum MLIR dialects will also be presented.
-----
Videos Edited by Bash Films: BashFilms.com
2025 US LLVM Developers' Meeting
llvm.org/devmtg/2025-10
------
Title: Leveraging MLIR to Compile a Basis-Oriented Quantum Programming Language
Speaker: Austin Adams
------
Slides: llvm.org/devmtg/2025-10/slides/student_talks/adams.pdf
-----
Quantum computing has leaped from the theoretical realm into a competitive commercial race, but programming quantum computers remains challenging. Quantum programming languages today require programmers to master both physics notation and quantum gate engineering. The Qwerty quantum programming language was recently proposed (arXiv:2404.12603) as a higher-level abstraction providing primitives rooted in quantum bases rather than low-level quantum circuitry. The semantic gap between Qwerty's novel basis-oriented constructs and traditional quantum circuits renders existing quantum compilers unsuitable for compiling Qwerty code. This talk describes how MLIR is used in our Qwerty compiler to compile Qwerty code embedded in Python into quantum assembly or LLVM IR. The full architecture of our compiler is described, including custom MLIR dialects, interfaces, analyses, and passes. A brief comparison between all known quantum MLIR dialects will also be presented.
-----
Videos Edited by Bash Films: BashFilms.com
