papers
Publications (3)
quant-ph2025
Helios: A 98-qubit trapped-ion quantum computer
Anthony Ransford, M. S. Allman, Jake Arkinstall +183
We report on Quantinuum Helios, a 98-qubit trapped-ion quantum processor based on the quantum charge-coupled device (QCCD) architecture. Helios features Ba hyperfine…
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…
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…