403 citations · 468 across the 6 of their papers we have counts for
8 papers
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…
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…