1. Research
  2. Publications

Publications

Export 4 results:
[ Author(Desc)] Title Type Year
Filters: Author is Liyi Li  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
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.
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, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.