33 citations · 37 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
A Verified Optimizer for Quantum Circuits
Kesha Hietala, Robert Rand, Shih-Han Hung +2
We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in a simple, low-level l…
cs.LO2019
Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, Shih-Han Hung +2
We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing `quantum…