- Research
- Publications
Journal Article
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X.,
“The Quantum Abstract Machine”, 2024.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X.,
“Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X.,
“Qafny: A Quantum-Program Verifier”, 2024.