research
∙
06/07/2022
Q# as a Quantum Algorithmic Language
Q# is a standalone domain-specific programming language from Microsoft f...
share
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
∙
12/13/2021
Verified Compilation of Quantum Oracles
Quantum algorithms often apply classical operations, such as arithmetic ...
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
∙
11/08/2018