πΈππππππ πΊππππππ
MLIR, Quantum Compilers, and Verification
The quantum seminar in Spring 2024 will be mainly focused on the ππͺπ‘π©π-πππ«ππ‘ ππ£π©ππ§π’πππππ©π πππ₯π§ππ¨ππ£π©ππ©ππ€π£ (MLIR) framework of LLVM as a tool to create domain-specific languages for heterogeneous computing β quantum or otherwise. A particular interest is, of course, the use of MLIR in building compilers for quantum programs. A third topic area is verification of quantum computations (in the case when you have direct access to the quantum computer) a topic which is closely related to testing quantum hardwareβfirmwareβsoftware stacks.
Student participation consists in preparing and presenting a 90 minute talk about either a software project or a research paper in one of these areas.
Presentations by two students about the same paper/project (β2β¨90min) are particularly welcome, as they allow to go into more depth.
This course is not suitable for learning quantum computing. If you are not already familiar with quantum information processing, please present a paper/project about using MLIR in a non-quantum setting (check out the "without quantum" list below).
Topics
Any paper/project that uses MLIR in a substantial, clean and exemplary way is fair game. Here's an incomplete list of proposals for papers/projects:
Without quantum
- Papers: Any in the "Using MLIR" section of this page -- except the one that has the word "quantum" in it.
- Projects: Any of these -- except "Catalyst"
With quantum
- Paper: A MLIR Dialect for Quantum Assembly Languages -- start from here.
- Project: Catalyst -- start from here.
- Project: Cuda Quantum Start here, proceed to the advanced topics (e.g., this). Goal is to understand (and explain to the others) the IRs and their MLIRy relationships.
- Paper: Static single assignment based quantum program representation
Verification (β loads of quantum)
- Paper: Matching-gates based verification of nosiy quantum computations
- Papers: Stabilizer-based verification -- follow either ref [11] ore ref [12] here.
Contact
Dr. Dirk Oliver Theis
Teoreetilise Informaatika Kaasprofessor, Tartu Γlikool
Assoc. Prof. Theoretical Computer Science, University of Tartu