Verified Compilation of Quantum Oracles

Published in Proceedings of the ACM on Programming Languages (OOPSLA), 2022

Citation: Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks. "Verified Compilation of Quantum Oracles." Proceedings of the ACM on Programming Languages (OOPSLA). 2022.