Mingsheng Ying -

Registered user since Wed 18 May 2022

Name:Mingsheng Ying

Country:Australia

Affiliation:University of Technology Sydney

Personal website: http://quantum-lab.org/mingsheng/

Contributions

2026

PLanQC

Author of VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal Intrusion within the PLanQC 2026-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Verification of Recursively Defined Quantum Circuits within the PLDI Research Papers-track

POPL

Author of An Expressive Assertion Language for Quantum Programs within the POPL-track

2025

PLDI

WQS

POPL

Committee Member in Program Committee within the POPL-track

PLanQC

Author of Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs (Extended Abstract) within the PLanQC 2025-track

2024

PLDI

Author of Symbolic Execution for Quantum Error Correction Programs within the PLDI Research Papers-track

WQS

2023

POPL

Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track

2021

Q-SE

Author of Verification of Quantum Programs within the Q-SE 2021-track

2020

SPLASH

POPL

Author of Relational Proofs for Quantum Programs within the Research Papers-track

PLanQC

Committee Member in Program Committee within the PLanQC-track

2019

PLDI

Author of An Applied Quantum Hoare Logic within the PLDI Research Papers-track

POST

Committee Member in Program Committee within the POST 2019-track

POPL

Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track

2018

POPL

Author of Algorithmic Analysis of Termination Problems for Quantum Programs within the Research Papers-track

2017

POPL

Author of Invariants of Quantum Programs: Characterisations and Generation within the POPL-track