30 citations · 33 across the 4 of their papers we have counts for
4 papers
Compositional Quantum Control Flow with Efficient Compilation in Qunity
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos +1
Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especial…
COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
Finn Voichick, Leonidas Lampropoulos, Robert Rand
We present COGNAC, a novel strategy for compiling quantum circuits based on numerical optimization algorithms from scientific computing. Observing that shorter-duration "partially…
Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
Finn Voichick, Liyi Li, Robert Rand +1
We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax whe…
Verified Compilation of Quantum Oracles
Liyi Li, Finn Voichick, Kesha Hietala +3
Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the l…