6

Verified Optimization in a Quantum Intermediate Representation

We elected not to have this appear in the conference proceedings. See our POPL paper for a more complete version of this work.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Phantom Types for Quantum Programs

Robert Rand, Jennifer Paykin, Steve Zdancewic

Models for Probabilistic Programs with an Adversary

Robert Rand, Steve Zdancewic