Mingsheng Ying

Fang, W., Ying, M., & Wu, X. (2022). Differentiable Quantum Programming with Unbounded Loops. ArXiv. Retrieved from https://arxiv.org/abs/2211.04507 (Original work published November 2022)

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)