1

Efficiently Verifying Quantum Programs with Few T Gates
We mechanize a lightweight quantum logic in the Rocq proof assistant to verify Clifford+T quantum programs, particularly those with low …
Youngchan Cho, Robert Rand
Cite Code DOI Paper
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
Cite Code DOI Video
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
Cite Code DOI arXiv Video
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 Code Video DOI
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