collaborators

5 papers

quant-ph2026

Quantum-HPC Workflows Across Multiple Quantum Computing Platforms: Two Case Studies

Philipp Seitz, Miwako Tsuji, John Children +5

We describe the Quantum-HPC hybrid system comprising the supercomputer Fugaku, the QPUs Quantinuum Reimei and ibm_kobe, and the Tierkreis hybrid workflow software. We present two d…

quant-ph2026

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…

cs.PL2025

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…

cs.PL2025

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…

cs.PL2025

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…