1

A Language for Quantifying Quantum Network Behavior
Quantum networks have capabilities that are impossible to achieve using only classical information. They connect quantum capable nodes, …
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
PDF Cite
Compositional Quantum Control Flow with Efficient Compilation in Qunity

Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are …
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
PDF Cite Code
An Algebraic Language for Specifying Quantum Networks
Quantum networks connect quantum capable nodes in order to achieve capabilities that are impossible only using classical information. …
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
Cite
ViCAR: Visualizing Categories with Automated Rewriting in Coq
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical …
Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
PDF Cite Code DOI
MCBeth: A Measurement-based Quantum Programming Language
QPL 2022 video:
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
Cite Video DOI arXiv
Qunity: A Unified Language for Quantum and Classical Computing
Video from Quantum Physics and Logic 2022.
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
Cite DOI arXiv URL
Towards an Algebraic Specification of Quantum Networks
The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main …
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
PDF Cite DOI URL
Q# as a Quantum Algorithmic Language
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
PDF Cite Code Slides Video DOI arXiv
Proving Quantum Programs Correct
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
PDF Cite Video DOI
A Verified Optimizer for Quantum Circuits
We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are …
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
PDF Cite Code Poster Slides Video DOI
A Verified Optimizer for Quantum Circuits