Liyi Li
- A Formal Model of Checked C
2022/01/31 by Liyi Li, Yiyun Liu, Li, Liyi +9 · 2 voices
#cs.PL #cs.SE
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
2022/04/26 by Finn Voichick, Liyi Li, Voichick, Finn +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
2022/04/14 by Yuxiang Peng, Peng, Yuxiang, Kesha Hietala +11 · 2 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Cryptography and Data Security
- Verified Compilation of Quantum Oracles
2021/12/13 by Liyi Li, Li, Liyi, Finn Voichick +9 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)