- Research
- Publications
L
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M.,
“Verified Compilation of Quantum Oracles”, 2021.
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.