Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala,
Robert Rand,
Shih-Han Hung,
Xiaodi Wu,
Michael Hicks
January 2019
Publication
Presented at the International Conference on Quantum Physics and Logic (QPL 2019)
We elected not to have this appear in the conference proceedings. See our POPL paper for a more complete version of this work.