1

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
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
Gottesman Types for Quantum Programs
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
PDF Cite Slides Video
Formal Verification vs. Quantum Uncertainty
Robert Rand, Kesha Hietala, Michael Hicks
PDF Cite Slides
ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic
PDF Cite Code Slides Video DOI