Yuxiang Peng

Li, L. ., Voichick, F. ., Hietala, K. ., Peng, Y. ., Wu, X. ., & Hicks, M. . (2021). Verified Compilation of Quantum Oracles. ArXiv. Retrieved from https://arxiv.org/abs/2112.06700 (Original work published December 2021)

Peng, Y. ., Ying, M. ., & Wu, X. . (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 657–670). ACM. http://doi.org/10.1145/3519939.3523713 (Original work published June 2022)