𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝑺𝒆𝒎𝒊𝒏𝒂𝒓
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