6

Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Adrian Lehmann, Ben Caldwell, John Reppy, Robert Rand
PDF Cite Video
Q*: Implementing Quantum Separation Logic in F*
Kesha Hietala, Sarah Marshall, Robert Rand, Nikhil Swamy
PDF Cite Code Slides Video
QuantumLib: A Library for Quantum Computing in Coq
Jacob Zweifler, Kesha Hietala, Robert Rand
PDF Cite Code Slides
VyZX: A Vision for Verifying the ZX Calculus
Tool demo at Quantum Physics and Logic, 2022.
Adrian Lehmann, Ben Caldwell, Robert Rand
PDF Cite Poster Video arXiv
Expanding the VOQC Toolkit
Kesha Hietala, Liyi Li, Akshaj Gaur, Aaron Green, Robert Rand, Xiaodi Wu, Michael Hicks
PDF Cite Slides Video
Extending Gottesman Types Beyond the Clifford Group
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
PDF Cite Slides Video
Toward a Type-Theoretic Interpretation of Q#
Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand
PDF Cite Slides Video
A Verified Optimizer for Quantum Circuits
Merged talk with Verified translation between low-level quantum languages.
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
PDF Cite Slides Video
Tracking Errors through Types in Quantum Programs
Kesha Hietala, Robert Rand, Michael Hicks
PDF Cite Slides Video
Verified translation between low-level quantum languages
Merged talk with A Verified Optimizer for Quantum Programs.
Kartik Singhal, Robert Rand, Michael Hicks
PDF Cite Slides Video