Liyi Li

According to our database, Liyi Li authored at least 30 papers between 2014 and 2026.

Collaborative distances:

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

2026

Validating Quantum State Preparation Programs.

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

Proceedings of the Programming Languages and Systems, 2026

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

Embedding Quantum Program Verification into Dafny.

Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li

Proc. ACM Program. Lang., 2025

A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware.

Liyi Li, David Young, James Bryan Graves, Chandeepa Dissanayake, Amr Sabry

Proc. ACM Program. Lang., 2025

Differential Testing for Sequential to Parallel Transformations.

Jobayer Ahmmed, Quazi Ishtiaque Mahmud, Junhyung Shim, Liyi Li, Ali Jannesari, Myra B. Cohen

Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, 2025

TypeFlexer: Type Directed Flexible Program Partitioning.

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

Proceedings of the 28th International Symposium on Research in Attacks, 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

Qunity: A Unified Language for Quantum and Classical Computing (Type Checker).

Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

Dataset, October, 2022

Qunity: A Unified Language for Quantum and Classical Computing (Type Checker).

Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

Dataset, October, 2022

VQO: Verified Compilation of Quantum Oracles.

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

Dataset, July, 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