A Verified Optimizer for Quantum Circuits (Journal Version)

Published in ACM Transactions on Programming Languages and Systems (TOPLAS), 2023

Citation: Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks. "A Verified Optimizer for Quantum Circuits." ACM Transactions on Programming Languages and Systems (TOPLAS), 45(3). 2023.