A Verified Optimizer for Quantum Circuits

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

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.

Distinguished paper at POPL 2021