research
∙
06/07/2022
Q# as a Quantum Algorithmic Language
Q# is a standalone domain-specific programming language from Microsoft f...
share
research
∙
05/11/2022
VyZX : A Vision for Verifying the ZX Calculus
Optimizing quantum circuits is a key challenge for quantum computing. Th...
research
∙
04/26/2022
Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
We introduce Qunity, a new quantum programming language designed to trea...
research
∙
04/22/2022
MCBeth: A Measurement Based Quantum Programming Language
Gate-based quantum programming languages are ubiquitous but measurement-...
research
∙
04/14/2022
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements...
research
∙
09/06/2021
Gottesman Types for Quantum Programs
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
01/22/2021
Static Analysis of Quantum Programs via Gottesman Types
The Heisenberg representation of quantum operators provides a powerful t...
research
∙
10/03/2020
Proving Quantum Programs Correct
As quantum computing steadily progresses from theory to practice, progra...
research
∙
12/04/2019
A Verified Optimizer for Quantum Circuits
We present VOQC, the first fully verified compiler for quantum circuits,...
research
∙
04/12/2019
Verified Optimization in a Quantum Intermediate Representation
We present sqire, a low-level language for quantum computing and verific...
research
∙
04/08/2019
Verification Logics for Quantum Programs
We survey the landscape of Hoare logics for quantum programs. We review ...
research
∙
01/29/2019
ReQWIRE: Reasoning about Reversible Quantum Circuits
Common quantum algorithms make heavy use of ancillae: scratch qubits tha...
research
∙
03/02/2018