Liyi Li

According to our database, Liyi Li authored at least 22 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Verified Compiler for Quantum Simulation.

Liyi Li, Fenfen An, Federico Zahariev, Zhi Xiang Chong, Amr Sabry, Mark S. Gordon

CoRR, September, 2025

Quantum Simulation Programming via Typing.

Liyi Li, Federico Zahariev, Chandeepa Dissanayake, Jae Swanepoel, Amr Sabry, Mark S. Gordon

CoRR, September, 2025

Validate Quantum State Preparation Programs.

Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin

CoRR, January, 2025

2024

Qafny: A Quantum-Program Verifier (Artifact).

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Dagstuhl Artifacts Ser., 2024

DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems.

Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Liyi Li

CoRR, 2024

The Quantum Abstract Machine.

Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu

CoRR, 2024

Qafny: A Quantum-Program Verifier.

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 2023

Qunity: A Unified Language for Quantum and Classical Computing.

Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

Proc. ACM Program. Lang., January, 2023

CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.

Liyi Li, Arunkumar Bhattar, Le Chang, Mingwei Zhu, Aravind Machiry

CoRR, 2023

2022

Verified compilation of Quantum oracles.

Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2022

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.

Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

A Formal Model of Checked C.

Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Proving Quantum Programs Correct.

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle.

Liyi Li, Elsa L. Gunter

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

A verification framework suitable for proving large language translations

Liyi Li

PhD thesis, 2020

Per-Location Simulation.

Liyi Li, Elsa L. Gunter

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

K-LLVM: A Relatively Complete Semantics of LLVM IR.

Liyi Li, Elsa L. Gunter

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018

IsaK-Static: A Complete Static Semantics of \mathbb K.

Liyi Li, Elsa L. Gunter

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras.

Liyi Li, Elsa L. Gunter

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

2014

Symbolic Analysis Tools for CSP.

Liyi Li, Elsa L. Gunter, William Mansky

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014