Li Zhou

According to our database, Li Zhou authored at least 25 papers between 2017 and 2025.

Collaborative distances:

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

2025

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

Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying

J. ACM, June, 2025

Complete Quantum Relational Hoare Logics from Optimal Transport Duality.

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou

CoRR, January, 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

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

2021

When is the Chernoff Exponent for Quantum Operations Finite?

Nengkun Yu, Li Zhou

IEEE Trans. Inf. Theory, 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

IACR Cryptol. ePrint Arch., 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

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