- Research
- Publications
2024
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X.,
“The Quantum Abstract Machine”, 2024.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X.,
“Qafny: A Quantum-Program Verifier”, 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.
2021
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
Schloss Dagstuhl, 2021.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M.,
“Verified Compilation of Quantum Oracles”, 2021.
K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M.,
“Expanding the VOQC Toolkit”, in
The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.
]