- Research
- Publications
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.
2024
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X.,
“The Quantum Abstract Machine”, 2024.