A Verified Optimizer for Quantum Circuits
Kesha Hietala,
Robert Rand,
Shih-Han Hung,
Xiaodi Wu,
Michael Hicks
January 2020
Publication
International Workshop on Programming Languages for Quantum Computing (PLanQC 2020)
Merged talk with Verified translation between low-level quantum languages.