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)