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 | 107 | 2020 |

An applied quantum Hoare logic L Zhou, N Yu, M Ying Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 74 | 2019 |

Differential privacy in quantum computation L Zhou, M Ying 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 249-262, 2017 | 57 | 2017 |

: 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 | 38 | 2021 |

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 | 35 | 2023 |

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 | 31 | 2021 |

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 | 31 | 2019 |

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 | 30 | 2016 |

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 | 27 | 2015 |

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 | 21 | 2021 |

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 | 16 | 2019 |

Reasoning about parallel quantum programs M Ying, L Zhou, Y Li arXiv preprint arXiv:1810.11334, 2018 | 16 | 2018 |

A proof system for disjoint parallel quantum programs M Ying, L Zhou, Y Li, Y Feng Theoretical Computer Science 897, 164-184, 2022 | 14 | 2022 |

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 | 13 | 2022 |

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 | 10 | 2022 |

Chernoff Bound for Quantum Operations is Faithful N Yu, L Zhou arXiv preprint arXiv:1705.01642, 2017 | 7 | 2017 |

Strassen's theorem for quantum couplings L Zhou, S Ying, N Yu, M Ying Theoretical Computer Science 802, 67-76, 2020 | 6 | 2020 |

When is the Chernoff Exponent for Quantum Operations Finite? N Yu, L Zhou IEEE Transactions on Information Theory 67 (7), 4517-4523, 2021 | 5 | 2021 |

Expected Runtime of Quantum Programs J Liu, L Zhou, M Ying arXiv preprint arXiv:1911.12557, 2019 | 3 | 2019 |