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