All Stories

  1. Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

    Article • ACM Transactions on Computational Logic, July 2026, ACM (Association for Computing Machinery)

    Mingsheng Ying

  2. SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

    Article • June 2024, ACM (Association for Computing Machinery)

    Mingsheng Ying

  3. Symbolic Execution for Quantum Error Correction Programs

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Mingsheng Ying

  4. Detecting Violations of Differential Privacy for Quantum Algorithms

    Article • November 2023, ACM (Association for Computing Machinery)

    Mingsheng Ying

  5. Differentiable Quantum Programming with Unbounded Loops

    Article • ACM Transactions on Software Engineering and Methodology, August 2023, ACM (Association for Computing Machinery)

    Mingsheng Ying

  6. CoqQ: Foundational Verification of Quantum Programs

    Article • Proceedings of the ACM on Programming Languages, January 2023, ACM (Association for Computing Machinery)

    Mingsheng Ying

  7. A Tensor Network based Decision Diagram for Representation of Quantum Circuits

    Article • ACM Transactions on Design Automation of Electronic Systems, November 2022, ACM (Association for Computing Machinery)

    Mingsheng Ying

  8. Equivalence Checking of Dynamic Quantum Circuits

    Article • October 2022, ACM (Association for Computing Machinery)

    Mingsheng Ying

  9. Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs

    Article • August 2022, ACM (Association for Computing Machinery)

    Mingsheng Ying

  10. Verification of Distributed Quantum Programs

    Article • ACM Transactions on Computational Logic, July 2022, ACM (Association for Computing Machinery)

    Mingsheng Ying

  11. Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra

    Article • June 2022, ACM (Association for Computing Machinery)

    Mingsheng Ying

  12. A proof system for disjoint parallel quantum programs

    Article • Theoretical Computer Science, January 2022, Elsevier

    Mingsheng Ying

  13. Quantum Hoare Logic with Classical Variables

    Article • ACM Transactions on Quantum Computing, December 2021, ACM (Association for Computing Machinery)

    Mingsheng Ying

  14. Approximate Equivalence Checking of Noisy Quantum Circuits

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Mingsheng Ying, Mr Mingsheng Ying

  15. A Quantum Interpretation of Bunched Logic & Quantum Separation Logic

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Mingsheng Ying

  16. Equivalence checking of quantum finite-state machines

    Article • Journal of Computer and System Sciences, March 2021, Elsevier

    Mingsheng Ying

  17. Robustness Verification of Quantum Classifiers

    Article • January 2021, Springer Science + Business Media

    Mingsheng Ying

  18. Model Checking for Verification of Quantum Circuits

    Article • January 2021, Springer Science + Business Media

    Mingsheng Ying

  19. Projection-based runtime assertions for testing and debugging Quantum programs

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  20. Quantum Supremacy Circuit Simulation on Sunway TaihuLight

    Article • IEEE Transactions on Parallel and Distributed Systems, April 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Mingsheng Ying

  21. Relational proofs for quantum programs

    Article • Proceedings of the ACM on Programming Languages, January 2020, ACM (Association for Computing Machinery)

    Mingsheng Ying

  22. Strassen's theorem for quantum couplings

    Article • Theoretical Computer Science, January 2020, Elsevier

    Mingsheng Ying

  23. An applied quantum Hoare logic

    Article • June 2019, ACM (Association for Computing Machinery)

    Mingsheng Ying

  24. Toward automatic verification of quantum programs

    Article • Formal Aspects of Computing, February 2019, ACM (Association for Computing Machinery)

    Mingsheng Ying

  25. Quantitative robustness analysis of quantum programs

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Mingsheng Ying

  26. Formal Verification of Quantum Algorithms Using Quantum Hoare Logic

    Article • January 2019, Springer Science + Business Media

    Mingsheng Ying

  27. Reachability analysis of quantum Markov decision processes

    Article • Information and Computation, December 2018, Elsevier

    Mingsheng Ying

  28. Algorithmic analysis of termination problems for quantum programs

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  29. Differential Privacy in Quantum Computation

    Article • August 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Mr Mingsheng Ying, Mingsheng Ying

  30. Invariants of quantum programs: characterisations and generation

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  31. Analysis of quantum programs

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  32. Logic for quantum programs

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  33. Prospects

    Article • January 2016, Elsevier

    Mr Mingsheng Ying, Mingsheng Ying

  34. Floyd--hoare logic for quantum programs

    Article • ACM Transactions on Programming Languages and Systems, December 2011, ACM (Association for Computing Machinery)

    Mr Mingsheng Ying, Mingsheng Ying

  35. Topology in Process Calculus

    Article • January 2001, Springer Science + Business Media

    Mr Mingsheng Ying, Mingsheng Ying