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