Junyi Liu

12 papers A* 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.
J. ACM
Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
2024 J jnl
New Quantum Algorithms for Computing Quantum Entropies and Distances.
IEEE Trans. Inf. Theory
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
2023 J jnl
CoqQ: Foundational Verification of Quantum Programs.
Proc. ACM Program. Lang.
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
2023 J jnl
Quantum Algorithm for Fidelity Estimation.
IEEE Trans. Inf. Theory
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
2022 J jnl
CoqQ: Foundational Verification of Quantum Programs.
CoRR
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
2022 J jnl
New Quantum Algorithms for Computing Quantum Entropies and Distances.
CoRR
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
2022 A* conf
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.
LICS
Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
2021 J jnl
Equivalence checking of quantum finite-state machines.
J. Comput. Syst. Sci.
Qisheng Wang, Junyi Liu, Mingsheng Ying
2019 J jnl
Equivalence Checking of Quantum Finite-State Machines.
CoRR
Qisheng Wang, Junyi Liu, Mingsheng Ying
2019 J jnl
Expected Runtime of Quantum Programs.
CoRR
Junyi Liu, Li Zhou, Mingsheng Ying
2019 — conf
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
CAV (2)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 J jnl
Quantum Hoare Logic.
Arch. Formal Proofs
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan