1

Towards an Algebraic Specification of Quantum Networks

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster

Q# as a Quantum Algorithmic Language

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand

Q# as a Quantum Algorithmic Language

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand

Q*: Implementing Quantum Separation Logic in F*

Kesha Hietala, Sarah Marshall, Robert Rand, Nikhil Swamy

QuantumLib: A Library for Quantum Computing in Coq

Jacob Zweifler, Kesha Hietala, Robert Rand

Proving Quantum Programs Correct

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

A Verified Optimizer for Quantum Circuits

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Gottesman Types for Quantum Programs

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey

Tracking Errors through Types in Quantum Programs

Kesha Hietala, Robert Rand, Michael Hicks

Verified translation between low-level quantum languages

Kartik Singhal, Robert Rand, Michael Hicks