Liyi Li

Li, L., Chang, L., Cleaveland, R., Zhu, M., & Wu, X. (2024). The Quantum Abstract Machine. ArXiv. Retrieved from https://arxiv.org/abs/2402.13469 (Original work published February 2024)

Li, L., Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., & Wu, X. (2024). Qafny: A Quantum-Program Verifier. In ECOOP 2024. http://doi.org/10.4230/LIPIcs.ECOOP.2024.24 (Original work published September 2024)

Li, L., Zhu, M., Cleaveland, R., Lee, Y., Chang, L., & Wu, X. (2023). Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published July 2023)

Li, L., Zhu, M., Lee, Y., Chang, L., & Wu, X. (2022). Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published November 2022)

Voichick, F., Li, L., Rand, R., & Hicks, M. (2022). Qunity: A Unified Language for Quantum and Classical Computing (Type Checker). Proceedings of the ACM on Programming Languages. http://doi.org/10.5281/ZENODO.7382711 (Original work published January 2023)

Li, L., Voichick, F., Hietala, K., Peng, Y., Wu, X., & Hicks, M. (2021). Verified Compilation of Quantum Oracles. ArXiv. Retrieved from https://arxiv.org/abs/2112.06700 (Original work published December 2021)

Hietala, K., Rand, R., Hung, S.-H., Li, L., & Hicks, M. (2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 21:1–21:19. http://doi.org/10.4230/LIPIcs.ITP.2021.21 (Original work published June 2021)

Hietala, K., Li, L., Gaur, A., Green, A., Rand, R., Wu, X., & Hicks, M. (2021). Expanding the VOQC Toolkit. In The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Retrieved from http://rand.cs.uchicago.edu/files/planqc_2021c.pdf (Original work published June 2021)