Sotabase

Career

· Assistant Professor, University of Chicago

Publications (31)

QWIRE: a core language for quantum circuits
ACM-SIGACT Symposium on Principles of Programming Languages · 2017
186
cited
A verified optimizer for Quantum circuits
Proc. ACM Program. Lang. · 2019
137
cited
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
QPL · 2018
82
cited
ReQWIRE: Reasoning about Reversible Quantum Circuits
QPL · 2019
50
cited
Proving Quantum Programs Correct
International Conference on Interactive Theorem Proving · 2020
44
cited
Ordered direct implicational basis of a finite closure system
International Symposium on Artificial Intelligence and Mathematics · 2011
43
cited
Qunity: A Unified Language for Quantum and Classical Computing
Proc. ACM Program. Lang. · 2022
35
cited
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
Mathematical Foundations of Programming Semantics · 2015
30
cited
Formally Verified Quantum Programming
2018
22
cited
Verified Optimization in a Quantum Intermediate Representation
arXiv.org · 2019
22
cited
A formally certified end-to-end implementation of Shor’s factorization algorithm
Proceedings of the National Academy of Sciences of the United States of America · 2022
17
cited
Q# as a Quantum Algorithmic Language
QPL · 2022
16
cited
Verification Logics for Quantum Programs
arXiv.org · 2019
16
cited
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
IEEE Journal on Emerging and Selected Topics in Circuits and Systems · 2022
13
cited
VyZX : A Vision for Verifying the ZX Calculus
arXiv.org · 2022
13
cited
Gottesman Types for Quantum Programs
QPL · 2021
12
cited
Formal Verification vs. Quantum Uncertainty
Summit on Advances in Programming Languages · 2019
11
cited
MCBeth: A Measurement-based Quantum Programming Language
Workshop on Quantum Software Engineering · 2022
6
cited
Extending Gottesman Types Beyond the Clifford Group
2021
5
cited
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
2021
5
cited
Sotabase