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