403 citations · 624 across the 10 of their papers we have counts for
11 papers
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
Damian Rovara, Daniel Haag, Mark Koch +8
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the sta…
Quantum-HPC hybrid computation of biomolecular excited-state energies
Kentaro Yamamoto, Riku Masui, Takahito Nakajima +16
We develop a workflow within the ONIOM framework and demonstrate it on the hybrid computing system consisting of the supercomputer Fugaku and the Quantinuum Reimei trapped-ion quan…
Imperative Quantum Programming with Ownership and Borrowing in Guppy
Mark Koch, Agustín Borgna, Craig Roy +4
Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. Th…
GUPPY: Pythonic Quantum-Classical Programming
Mark Koch, Alan Lawrence, Kartik Singhal +2
We present ongoing work on Guppy, a domain-specific language embedded in Python that allows users to write high-level hybrid quantum programs with complex control flow in Pythonic…
HUGR: A Quantum-Classical Intermediate Representation
Mark Koch, Agustín Borgna, Seyon Sivarajah +7
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high…
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
Seyon Sivarajah, Lukas Heidemann, Alan Lawrence +1
We present Tierkreis, a higher-order dataflow graph program representation and runtime designed for compositional, quantum-classical hybrid algorithms. The design of the system is…
Volumetric Benchmarking of Error Mitigation with Qermit
Cristina Cirstoiu, Silas Dilkes, Daniel Mills +2
The detrimental effect of noise accumulates as quantum computers grow in size. In the case where devices are too small or noisy to perform error correction, error mitigation may be…
Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack
Daniel Mills, Seyon Sivarajah, Travis L. Scholten +1
Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarki…
tket : A Retargetable Compiler for NISQ Devices
Seyon Sivarajah, Silas Dilkes, Alexander Cowtan +3
We present tket, a quantum software development platform produced by Cambridge Quantum Computing Ltd. The heart of tket is a language-agnostic optimising co…
Phase Gadget Synthesis for Shallow Circuits
Alexander Cowtan, Silas Dilkes, Ross Duncan +2
We give an overview of the circuit optimisation methods used by tket, a compiler system for quantum software developed by Cambridge Quantum Computing Ltd. We focus on a novel techn…
On the qubit routing problem
Alexander Cowtan, Silas Dilkes, Ross Duncan +3
We introduce a new architecture-agnostic methodology for mapping abstract quantum circuits to realistic quantum computing devices with restricted qubit connectivity, as implemented…