HUGR: A Quantum-Classical Intermediate RepresentationTalk
This program is tentative and subject to change.
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR’s design features high expressivity and extensibility to capture the capabilities of near-term and forthcoming quantum computing devices, as well as new and evolving abstractions from novel quantum programming paradigms. The graph based structure is machine-friendly and supports powerful pattern matching based compilation techniques. Inspired by MLIR, HUGR’s extensibility further allows compilation tooling to reason about programs at multiple levels of abstraction, lowering smoothly between them. Safety guarantees in the structure including strict, static typing and linear quantum types allow rapid development of compilation tooling without fear of program invalidation. A full specification of HUGR and reference implementation are open-source and available online.
Extended Abstract (planqc25-paper51.pdf) | 360KiB |
This program is tentative and subject to change.
Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 45mKeynote | Unlocking quantum potential with software and compilersKeynote PLanQC Kaitlin Smith Northwestern University | ||
09:46 22mTalk | HUGR: A Quantum-Classical Intermediate RepresentationTalk PLanQC Seyon Sivarajah Quantinuum, Mark Koch Quantinuum, Agustin Borgna Quantinuum, Alan Lawrence Quantinuum, Alec Edgington Quantinuum, Douglas Wilson Quantinuum, Craig Roy Quantinuum, Luca Mondada University of Oxford, Lukas Heidemann Quantinuum, Ross Duncan Quantinuum File Attached | ||
10:08 22mTalk | QuteFuzz: Fuzzing quantum compilers using randomly generated circuits with control flow and subcircuitsTalk PLanQC Ilan Iwumbwe Imperial College London, Benny Zong Liu Imperial College London, John Wickerson Imperial College London Media Attached File Attached |