L.  Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., ?Verified Compilation of Quantum Oracles?, 2021.

K.  Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., ?A Verified Optimizer for Quantum Circuits?, Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.

K.  Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., ?Verified Optimization in a Quantum Intermediate Representation?, 2019.