- Research
- Publications
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.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M.,
“Verified Compilation of Quantum Oracles”, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
Schloss Dagstuhl, 2021.
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, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X.,
“Qafny: A Quantum-Program Verifier”, 2024.
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X.,
“The Quantum Abstract Machine”, 2024.
]