Follow
Li Zhou
Title
Cited by
Cited by
Year
Projection-based runtime assertions for testing and debugging quantum programs
G Li, L Zhou, N Yu, Y Ding, M Ying, Y Xie
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
1072020
An applied quantum Hoare logic
L Zhou, N Yu, M Ying
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
742019
Differential privacy in quantum computation
L Zhou, M Ying
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 249-262, 2017
572017
 : A Quantum Programming Environment
S Liu, X Wang, L Zhou, J Guan, Y Li, Y He, R Duan, M Ying
Symposium on Real-Time and Hybrid Systems, 133-164, 2018
45*2018
Protocols for packet quantum network intercommunication
N Yu, CY Lai, L Zhou
IEEE Transactions on Quantum Engineering 2, 1-9, 2021
382021
CoqQ: Foundational Verification of Quantum Programs
L Zhou, G Barthe, PY Strub, J Liu, M Ying
Proceedings of the ACM on Programming Languages 7 (POPL), 833-865, 2023
352023
EasyPQC: Verifying Post-Quantum Cryptography
M Barbosa, G Barthe, X Fan, B Grégoire, SH Hung, J Katz, PY Strub, X Wu, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
312021
Relational proofs for quantum programs
G Barthe, J Hsu, M Ying, N Yu, L Zhou
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
312019
The Betelgeuse Project: constraints from rotation
JC Wheeler, S Nance, M Diaz, SG Smith, J Hickey, L Zhou, M Koutoulaki, ...
Monthly Notices of the Royal Astronomical Society, stw2893, 2016
302016
The THU-NAOC transient survey: the performance and results from the first year
TM Zhang, XF Wang, JC Chen, JJ Zhang, L Zhou, WX Li, Q Liu, J Mo, ...
Research in Astronomy and Astrophysics 15 (2), 215, 2015
272015
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
L Zhou, G Barthe, J Hsu, M Ying, N Yu
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
212021
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
G Li, L Zhou, N Yu, Y Ding, M Ying, Y Xie
arXiv preprint arXiv:1911.12855, 2019
162019
Reasoning about parallel quantum programs
M Ying, L Zhou, Y Li
arXiv preprint arXiv:1810.11334, 2018
162018
A proof system for disjoint parallel quantum programs
M Ying, L Zhou, Y Li, Y Feng
Theoretical Computer Science 897, 164-184, 2022
142022
Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem
L Zhou, N Yu, S Ying, M Ying
Journal of Mathematical Physics 63 (10), 102201, 2022
132022
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
J Liu, L Zhou, G Barthe, M Ying
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
102022
Chernoff Bound for Quantum Operations is Faithful
N Yu, L Zhou
arXiv preprint arXiv:1705.01642, 2017
72017
Strassen's theorem for quantum couplings
L Zhou, S Ying, N Yu, M Ying
Theoretical Computer Science 802, 67-76, 2020
62020
When is the Chernoff Exponent for Quantum Operations Finite?
N Yu, L Zhou
IEEE Transactions on Information Theory 67 (7), 4517-4523, 2021
52021
Expected Runtime of Quantum Programs
J Liu, L Zhou, M Ying
arXiv preprint arXiv:1911.12557, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20