Rance Cleaveland

Li, L. ., Chang, L. ., Cleaveland, R. ., Zhu, M. ., & Wu, X. . (2024). The Quantum Abstract Machine. ArXiv. Retrieved from https://arxiv.org/abs/2402.13469 (Original work published February 2024)

Li, L. ., Zhu, M. ., Cleaveland, R. ., Nicolellis, A. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2024). Qafny: A Quantum-Program Verifier. In ECOOP 2024. http://doi.org/10.4230/LIPIcs.ECOOP.2024.24 (Original work published September 2024)

Li, L. ., Zhu, M. ., Cleaveland, R. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2023). Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published July 2023)