Mingsheng Ying

Peng, Y. ., Ying, M. ., & Wu, X. . (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 657–670). ACM. http://doi.org/10.1145/3519939.3523713 (Original work published June 2022)

Hung, S.-H. ., Hietala, K. ., Zhu, S. ., Ying, M. ., Hicks, M. ., & Wu, X. . (2018). Quantitative Robustness Analysis of Quantum Programs (Extended Version). Proc. ACM Program. Lang., 3, Article 31. http://doi.org/10.1145/3290344 (Original work published December 2018)