MY
Mingsheng Ying
quant-phcs.LOcs.PLcs.CRcs.DScs.LGcs.ETcs.ARcs.SEcs.AI
On Valency
published · living versionsW_kbxyggfh·v1 · currentpublished
W_z7a65tzf·v1published
W_d7naw3tc·v1published
Preprints & journals
153 papers in the corpus · 2003–2026ConQEC: Concolic Testing for Quantum Error-Correcting Code Implementations2610.31443v1 · Zihao Li, Ji Guan, Mingsheng Ying2026 · 0 citationsarXivon Valency
QEDIA: Quantum Program Verification in Lean2610.17708v1 · Yuanjie (Collin) Ren, Zhicheng Zhang, Junyi Liu et al.2026 · 0 citationsarXiv
Quantisation of Abstract Data Types2609.03778v1 · Mingsheng Ying, Zhicheng Zhang, Kean Chen2026 · 0 citationsarXiv
Oracle Synthesis Based on X-Map Decision Diagrams2609.20854v1 · Xin Hong, Kezhen Zhang, Aochu Dai et al.2026 · 0 citationsarXiv
QisMC: A Model Checker for QISKIT Program Debugging2608.24320v1 · Aochu Dai, Mingsheng Ying2026 · 0 citationsarXiv
Resource Estimation for Fault-Tolerant Quantum Programs2608.04573v1 · Bonan Su, Yuan Feng, Li Zhou et al.2026 · 0 citationsarXiv
Reasoning about Continuous-Variable Quantum Systems2607.23137v2 · Tianshi Yu, Gilles Barthe, Minbo Gao et al.2026 · 0 citationsarXiv
Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool2605.29877v1 · Ji Guan, Mingsheng Ying2026 · 0 citationsQuantum Robustness in Artificial Intelligence, Quantum Science and Technology, Springer Nature Switzerland, 2026
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics2605.23358v2 · Qifan Huang, Minbo Gao, Li Zhou et al.2026 · 0 citationsarXiv
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits2605.14881v1 · Zihao Li, Ji Guan, Mingsheng Ying2026 · 0 citationsFM 2026, LNCS 16556, Springer, 2026
Symbolic Specification and Reasoning for Quantum Data and Operations2512.22383v1 · Mingsheng Ying2025 · 0 citationsarXiv
QReach: A Reachability Analysis Tool for Quantum Markov Chains2512.04497v1 · Aochu Dai, Mingsheng Ying2025 · 5 citationsComputer Aided Verification (CAV 2024), LNCS 14683, 2024, pp. 520-532
Borrowing Dirty Qubits in Quantum Programs2508.17190v1 · Bonan Su, Li Zhou, Yuan Feng et al.2025 · 1 citationarXiv
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps2507.17170v2 · Xin Hong, Aochu Dai, Chenjian Li et al.2025 · 0 citationsarXiv
Quantum State Preparation Based on LimTDD2507.14496v1 · Xin Hong, Chenjian Li, Aochu Dai et al.2025 · 1 citationarXiv
Access Control Threatened by Quantum Entanglement2507.02622v1 · Zhicheng Zhang, Mingsheng Ying2025 · 0 citationsarXiv
Quantum Speedup for Hypergraph Sparsification2505.01763v1 · Chenghua Liu, Minbo Gao, Zhengfeng Ji et al.2025 · 0 citationsarXiv
Efficient Formal Verification of Quantum Error Correcting Programs2504.07732v3 · Qifan Huang, Li Zhou, Wang Fang et al.2025 · 15 citationsProceedings of the ACM on Programming Languages, Volume 9, Issue PLDI (2025) 1068-1093
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations2504.01168v3 · Xin Hong, Aochu Dai, Dingchao Gao et al.2025 · 0 citationsarXiv
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits2503.10340v2 · Mingyu Huang, Ji Guan, Wang Fang et al.2025 · 0 citationsarXiv
Image Computation for Quantum Transition Systems2503.04146v1 · Xin Hong, Dingchao Gao, Sanjiang Li et al.2025 · 4 citationsarXiv
Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms2502.04758v2 · Chenjian Li, Mingsheng Ying, Ji Guan2025 · 0 citationsarXiv
Laws of Quantum Programming2412.19463v2 · Mingsheng Ying, Li Zhou, Gilles Barthe2024 · 0 citationsarXiv
A Practical Quantum Hoare Logic with Classical Variables, I2412.09869v4 · Mingsheng Ying2024 · 2 citationsInformation and Computation (2026)
Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks2412.08956v1 · Huiping Lin, Ruixuan Deng, Chris Z. Yao et al.2024 · 2 citationsarXiv
An Interpretation of Bunched Logic for Reasoning about Heap-Manipulating Quantum Programs2409.10153v2 · Bonan Su, Li Zhou, Yuan Feng et al.2024 · 0 citationsarXiv
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs2408.10054v3 · Zhicheng Zhang, Mingsheng Ying2024 · 4 citationsarXiv
VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models2407.13533v1 · Yanling Lin, Ji Guan, Wang Fang et al.2024 · 1 citationarXiv
Measurement-based Verification of Quantum Markov Chains2405.05825v1 · Ji Guan, Yuan Feng, Andrea Turrini et al.2024 · 6 citationsarXiv
Equivalence Checking of Parameterised Quantum Circuits2404.18456v1 · Xin Hong, Wei-Jia Huang, Wei-Chen Chien et al.2024 · 1 citationarXiv
Atomicity in Distributed Quantum Computing2404.18592v1 · Zhicheng Zhang, Mingsheng Ying2024 · 1 citationarXiv
Verification of Recursively Defined Quantum Circuits2404.05934v2 · Mingsheng Ying, Zhicheng Zhang2024 · 0 citationsarXiv
Symbolic Execution for Quantum Error Correction Programs2311.11313v3 · Wang Fang, Mingsheng Ying2023 · 16 citationsarXiv
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits2311.03906v2 · Wang Fang, Mingsheng Ying2023 · 1 citationarXiv
Quantum Recursive Programming with Quantum Case Statements2311.01725v1 · Mingsheng Ying, Zhicheng Zhang2023 · 3 citationsarXiv
Detecting Violations of Differential Privacy for Quantum Algorithms2309.04819v1 · Ji Guan, Wang Fang, Mingyu Huang et al.2023 · 15 citationsIn Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023)
Decision Diagrams for Symbolic Verification of Quantum Circuits2308.00440v1 · Xin Hong, Wei-Jia Huang, Wei-Chen Chien et al.2023 · 11 citationsarXiv
Unitarity estimation for quantum channels2212.09319v4 · Kean Chen, Qisheng Wang, Peixun Long et al.2022 · 12 citationsIEEE Transactions on Information Theory, 69(8): 5116-5134, 2023
Fault Models in Superconducting quantum circuits2212.00337v1 · Qifan Huang, Boxi Li, Minbo Gao et al.2022 · 1 citationarXiv
Approximation Algorithm for Noisy Quantum Circuit Simulation2211.17028v2 · Mingyu Huang, Ji Guan, Wang Fang et al.2022 · 1 citationarXiv
Differentiable Quantum Programming with Unbounded Loops2211.04507v1 · Wang Fang, Mingsheng Ying, Xiaodi Wu2022 · 8 citationsarXiv
Verifying Fairness in Quantum Machine Learning2207.11173v1 · Ji Guan, Wang Fang, Mingsheng Ying2022 · 18 citationsarXiv
CoqQ: Foundational Verification of Quantum Programs2207.11350v1 · Li Zhou, Gilles Barthe, Pierre-Yves Strub et al.2022 · 34 citationsarXiv
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits2206.10880v1 · Kean Chen, Wang Fang, Ji Guan et al.2022 · 10 citationsarXiv
isQ: Towards a Practical Software Stack for Quantum Programming2205.03866v2 · Jingzhe Guo, Huazhe Lou, Riling Li et al.2022 · 1 citationarXiv
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs2205.01959v1 · Mingsheng Ying2022 · 1 citationarXiv
New Quantum Algorithms for Computing Quantum Entropies and Distances2203.13522v3 · Qisheng Wang, Ji Guan, Junyi Liu et al.2022 · 39 citationsIEEE Transactions on Information Theory, 70(8): 5653-5680, 2024
Automatic Test Pattern Generation for Robust Quantum Circuit Testing2202.10697v4 · Kean Chen, Mingsheng Ying2022 · 6 citationsarXiv
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra2110.07018v2 · Yuxiang Peng, Mingsheng Ying, Xiaodi Wu2021 · 15 citationsarXiv
Reasoning about Recursive Quantum Programs2107.11679v1 · Zhaowei Xu, Mingsheng Ying, Benoit Valiron2021 · 1 citationarXiv
Career total: at least 421 works. 153 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.