Mingsheng Ying in nLab
Selected writings
On software verification for quantum programming languages:
-
Mingsheng Ying, Yuan Feng, Model Checking Quantum Systems — A Survey [arXiv:1807.09466]
-
Mingsheng Ying, Model Checking for Verification of Quantum Circuits, in: Formal Methods. FM 2021, Lecture Notes in Computer Science 13047, Springer (2021) [[arXiv:2104.11359, doi:10.1007/978-3-030-90870-6_2]]
-
Mingsheng Ying, Zhengfeng Ji, Symbolic Verification of Quantum Circuits, [[arXiv:2010.03032]]
-
Mingsheng Ying, Yuan Feng, Model Checking Quantum Systems – Principles and Algorithms, Cambridge University Press (2021) [ISBN:9781108484305]
and introducing the quantum programming language CoqQ:
-
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying, CoqQ: Foundational Verification of Quantum Programs [arXiv:2207.11350]
(in Coq)
Understanding the linear logic-sector of bunched logic as a kind of quantum logic:
- Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, A Quantum Interpretation of Bunched Logic for Quantum Separation Logic, LICS ‘21: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 75 (2021) 1–14 [arXiv:2102.00329, doi:10.1109/LICS52264.2021.9470673]
Last revised on June 1, 2023 at 12:55:48. See the history of this page for a list of all contributions to it.