3

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
Finn Voichick, Leonidas Lampropoulos, Robert Rand
Cite DOI arXiv
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
PDF Cite
A Rich Type System for Quantum Programs
In submission. Poster presented at Quantum Information Processing (QIP), 2022.
Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
Cite Poster DOI arXiv
A Rich Type System for Quantum Programs