Mingsheng Ying

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 87

Top Venues

CoRR

Proc. ACM Program. Lang.

IEEE Trans. Inf. Theory

J. Comput. Syst. Sci.

Publications

Qisheng Wang, Mingsheng Ying
Quantum Algorithm for Lexicographically Minimal String Rotation. Theory Comput. Syst. 68 (1) (2024)
Qisheng Wang, Mingsheng Ying
Quantum Büchi automata. Theor. Comput. Sci. 1012 (2024)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Measurement-Based Verification of Quantum Markov Chains. CAV (3) (2024)
Zhicheng Zhang, Mingsheng Ying
Atomicity in Distributed Quantum Computing. CoRR (2024)
Wang Fang, Mingsheng Ying, Xiaodi Wu
Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Aochu Dai, Mingsheng Ying
QReach: A Reachability Analysis Tool for Quantum Markov Chains. CAV (3) (2024)
Zhicheng Zhang, Qisheng Wang, Mingsheng Ying
Parallel Quantum Algorithm for Hamiltonian Simulation. Quantum 8 (2024)
Mingsheng Ying, Zhicheng Zhang
Verification of Recursively Defined Quantum Circuits. CoRR (2024)
Wang Fang, Mingsheng Ying
Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
New Quantum Algorithms for Computing Quantum Entropies and Distances. IEEE Trans. Inf. Theory 70 (8) (2024)
Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying
Approximation Algorithm for Noisy Quantum Circuit Simulation. DATE (2024)
Mingsheng Ying, Zhicheng Zhang
Quantum Recursive Programming with Quantum Case Statements. CoRR (2023)
Wang Fang, Mingsheng Ying
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. CoRR (2023)
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR (2023)
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
Detecting Violations of Differential Privacy for Quantum Algorithms. CCS (2023)
Jingzhe Guo, Mingsheng Ying
Software Pipelining for Quantum Loop Programs. IEEE Trans. Software Eng. 49 (4) (2023)
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Wang Fang, Mingsheng Ying
Symbolic Execution for Quantum Error Correction Programs. CoRR (2023)
Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying
Unitarity Estimation for Quantum Channels. IEEE Trans. Inf. Theory 69 (8) (2023)
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE (2023)
Qisheng Wang, Mingsheng Ying
Quantum random access stored-program machines. J. Comput. Syst. Sci. 131 (2023)
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory 69 (1) (2023)
Ji Guan, Wang Fang, Mingsheng Ying
Verifying Fairness in Quantum Machine Learning. CoRR (2022)
Wang Fang, Mingsheng Ying, Xiaodi Wu
Differentiable Quantum Programming with Unbounded Loops. CoRR (2022)
Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. LICS (2022)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. 27 (6) (2022)
Ji Guan, Wang Fang, Mingsheng Ying
Verifying Fairness in Quantum Machine Learning. CAV (2) (2022)
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
New Quantum Algorithms for Computing Quantum Entropies and Distances. CoRR (2022)
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. PLDI (2022)
Mingsheng Ying
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs. CoRR (2022)
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
CoqQ: Foundational Verification of Quantum Programs. CoRR (2022)
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897 (2022)
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
Equivalence Checking of Dynamic Quantum Circuits. ICCAD (2022)
Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying
Fault Models in Superconducting quantum circuits. CoRR (2022)
Qisheng Wang, Riling Li, Mingsheng Ying
Equivalence Checking of Sequential Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (9) (2022)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23 (3) (2022)
Ji Guan, Wang Fang, Mingsheng Ying
Robustness Verification of Quantum Classifiers. CAV (1) (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS (2021)
Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR (2021)
Mingsheng Ying
Model Checking for Verification of Quantum Circuits. FM (2021)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. CoRR (2021)
Mingsheng Ying, Yuan Feng, Shenggang Ying
Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. 18 (3) (2021)
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Reasoning about Recursive Quantum Programs. CoRR (2021)
Mingsheng Ying
Model Checking for Verification of Quantum Circuits. CoRR (2021)
Qisheng Wang, Junyi Liu, Mingsheng Ying
Equivalence checking of quantum finite-state machines. J. Comput. Syst. Sci. 116 (2021)
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. CoRR (2021)
Ji Guan, Qisheng Wang, Mingsheng Ying
quantum walks. Quantum Inf. Comput. 21 (5&6) (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR (2021)
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Qisheng Wang, Mingsheng Ying
Quantum Random Access Stored-Program Machines. CoRR (2020)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR (2020)
Qisheng Wang, Mingsheng Ying
Quantum Algorithm for Lexicographically Minimal String Rotation. CoRR (2020)
Ji Guan, Wang Fang, Mingsheng Ying
Robustness Verification of Quantum Machine Learning. CoRR (2020)
Mingsheng Ying, Zhengfeng Ji
Symbolic Verification of Quantum Circuits. CoRR (2020)
Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang
Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Trans. Parallel Distributed Syst. 31 (4) (2020)
Yuan Feng, Mingsheng Ying
Quantum Hoare logic with classical variables. CoRR (2020)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Strassen's theorem for quantum couplings. Theor. Comput. Sci. 802 (2020)
Jingzhe Guo, Mingsheng Ying
Software Pipelining for Quantum Loop Programs. CoRR (2020)
Li Zhou, Nengkun Yu, Mingsheng Ying
An applied quantum Hoare logic. PLDI (2019)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Model Checking Applied to Quantum Physics. CoRR (2019)
Junyi Liu, Li Zhou, Mingsheng Ying
Expected Runtime of Quantum Programs. CoRR (2019)
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR (2019)
Mingsheng Ying
Toward automatic verification of quantum programs. Formal Aspects Comput. 31 (1) (2019)
Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
Coupling Techniques for Reasoning about Quantum Programs. CoRR (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Qisheng Wang, Junyi Liu, Mingsheng Ying
Equivalence Checking of Quantum Finite-State Machines. CoRR (2019)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) (2019)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019)
Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
Quantum Coupling and Strassen Theorem. CoRR (2018)
Qisheng Wang, Mingsheng Ying
Quantum Büchi Automata. CoRR (2018)
Shenggang Ying, Mingsheng Ying
Reachability analysis of quantum Markov decision processes. Inf. Comput. 263 (2018)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR (2018)
Mingsheng Ying
Toward Automatic Verification of Quantum Programs. CoRR (2018)
Mingsheng Ying, Yangjia Li
Reasoning about Parallel Quantum Programs. CoRR (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95 (2018)
Yangjia Li, Mingsheng Ying
Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18 (13&14) (2018)
Mingsheng Ying, Yuan Feng
Model Checking Quantum Systems - A Survey. CoRR (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating Quantum Memory with Entanglement. CoRR (2017)
Li Zhou, Mingsheng Ying
Differential Privacy in Quantum Computation. CSF (2017)
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
Q|SI〉: A Quantum Programming Environment. CoRR (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Perceptron. CoRR (2017)
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
Invariants of quantum programs: characterisations and generation. POPL (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Analytics. CoRR (2017)
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan
A Theorem Prover for Quantum Hoare Logic and Its Applications. CoRR (2016)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Mining. CoRR (2015)
Yuan Feng, Mingsheng Ying
Toward automatic verification of quantum cryptographic protocols. CoRR (2015)
Yuan Feng, Mingsheng Ying
Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR (2015)
Yuan Feng, Yuxin Deng, Mingsheng Ying
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15 (2) (2014)
Shenggang Ying, Mingsheng Ying
Reachability Analysis of Quantum Markov Decision Processes. CoRR (2014)
Nengkun Yu, Runyao Duan, Mingsheng Ying
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Trans. Inf. Theory 60 (4) (2014)
Mingsheng Ying
Quantum Recursion and Second Quantisation: Basic Ideas and Examples. CoRR (2014)
Yangjia Li, Mingsheng Ying
(Un)decidable Problems about Reachability of Quantum Systems. CONCUR (2014)
Mingsheng Ying, Nengkun Yu, Yuan Feng
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR (2014)
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15 (3) (2014)
Yangjia Li, Mingsheng Ying
Debugging Quantum Processes Using Monitoring Measurements. CoRR (2014)
Yangjia Li, Mingsheng Ying
(Un)decidable Problems about Reachability of Quantum Systems. CoRR (2014)
Yangjia Li, Nengkun Yu, Mingsheng Ying
Termination of nondeterministic quantum programs. Acta Informatica 51 (1) (2014)

Mingsheng Ying.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mingsheng Ying