8

Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs
Kartik Singhal, Robert Rand, Matthew Amy
PDF Cite Poster
Toward Formalizing the Q# Programming Language
Sarah Marshall, Kartik Singhal, Kesha Hietala, Robert Rand
PDF Poster
Formal Verification of Gottesman Semantics
Jacob Zweifler, Robert Rand
PDF Poster
Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Poster
QWIRE: A QRAM-Inspired Quantum Circuit Language
Jennifer Paykin, Robert Rand, Steve Zdancewic
Poster
Verifying Probabilistic Programs in the Presence of an Adversary
3rd place in the graduate student poster competition.
Robert Rand
Slides Video Poster