Li Zhou

According to our database, Li Zhou authored at least 35 papers between 2017 and 2026.

Collaborative distances:

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

2026

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics.

Qifan Huang, Minbo Gao, Li Zhou, Mingsheng Ying

CoRR, May, 2026

An Expressive Assertion Language for Quantum Programs.

Bonan Su, Yuan Feng, Mingsheng Ying, Li Zhou

Proc. ACM Program. Lang., 2026

Borrowing Dirty Qubits in Quantum Programs.

Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics.

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Li Zhou

CoRR, October, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, April, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, April, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Automating Equational Proofs in Dirac Notation.

Yingte Xu, Gilles Barthe, Li Zhou

Proc. ACM Program. Lang., 2025

Efficient Formal Verification of Quantum Error Correcting Programs.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Proc. ACM Program. Lang., 2025

Complete Quantum Relational Hoare Logics from Optimal Transport Duality.

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation.

Yingte Xu, Li Zhou, Gilles Barthe

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Laws of Quantum Programming.

Mingsheng Ying, Li Zhou, Gilles Barthe

CoRR, 2024

2023

CoqQ: Foundational Verification of Quantum Programs.

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying

Proc. ACM Program. Lang., January, 2023

Refinement calculus of quantum programs with projective assertions.

Yuan Feng, Li Zhou, Yingte Xu

CoRR, 2023

2022

Comments on and Corrections to "When Is the Chernoff Exponent for Quantum Operations Finite?".

Nengkun Yu, Li Zhou

IEEE Trans. Inf. Theory, 2022

A proof system for disjoint parallel quantum programs.

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng

Theor. Comput. Sci., 2022

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

When is the Chernoff Exponent for Quantum Operations Finite?

Nengkun Yu, Li Zhou

IEEE Trans. Inf. Theory, 2021

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.

Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

EasyPQC: Verifying Post-Quantum Cryptography.

Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Strassen's theorem for quantum couplings.

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying

Theor. Comput. Sci., 2020

Projection-based runtime assertions for testing and debugging Quantum programs.

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie

Proc. ACM Program. Lang., 2020

Relational proofs for quantum programs.

Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou

Proc. ACM Program. Lang., 2020

2019

Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie

CoRR, 2019

Expected Runtime of Quantum Programs.

Junyi Liu, Li Zhou, Mingsheng Ying

CoRR, 2019

Protocols for Packet Quantum Network Intercommunication.

Nengkun Yu, Ching-Yi Lai, Li Zhou

CoRR, 2019

Coupling Techniques for Reasoning about Quantum Programs.

Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou

CoRR, 2019

An applied quantum Hoare logic.

Li Zhou, Nengkun Yu, Mingsheng Ying

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Quantum Coupling and Strassen Theorem.

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying

CoRR, 2018

Q|SI⟩ : A Quantum Programming Environment.

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Q|SI〉: A Quantum Programming Environment.

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying

CoRR, 2017

Differential Privacy in Quantum Computation.

Li Zhou, Mingsheng Ying

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017