A Verified Optimizer for Quantum Circuits

Published in Proceedings of the ACM Conference on Principles of Programming Languages (POPL), 2021

Recommended citation: Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks. "A Verified Optimizer for Quantum Circuits." Proceedings of the ACM Conference on Principles of Programming Languages (POPL). 2021. https://arxiv.org/pdf/1912.02250.pdf

Distinguished paper at POPL 2021

Direct Link