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