Gilles Barthe

最新发表

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou (2026). Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions. 41st Annual Symposium on Logic in Computer Science (LICS 2026).

PDF 引用 DOI DOI arXiv

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou (2025). Complete Quantum Relational Hoare Logics from Optimal Transport Duality. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

PDF 引用 DOI DOI arXiv

Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying (2025). Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. Journal of the ACM.

引用 DOI DOI

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying (2023). CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang..

引用 DOI URL