| 2025 | MICCAI | Noisy Label Refinement Based on Discrete Diffusion Process in 3D Ossicle Segmentation. | Linqian Fan, Mengshi Zhang, Yonghao Wang, Wenkai Lu, Hongxia Yin |
| 2022 | IROS | Metabolic Efficiency Improvement of Human Walking by Shoulder Stress Reduction through Load Transfer Backpack. | Yu Cao, Jian Huang, Xiaolong Li, Mengshi Zhang, Caihua Xiong, Samer Mohammed, Yaonan Zhu, Yasuhisa Hasegawa |
| 2022 | ICSE | Towards Boosting Patch Execution On-the-Fly. | Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang |
| 2020 | ICPR | An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. | Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani |
| 2019 | ICSE | Symbolic execution for attribution and attack synthesis in neural networks. | Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ICST | Learning to Optimize the Alloy Analyzer. | Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ISSRE | Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. | Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid |
| 2018 | ICSE | Towards practical program repair with on-demand candidate generation. | Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid |
| 2017 | ICWS | Service2vec: A Vector Representation for Web Services. | Yuqun Zhang, Mengshi Zhang, Xi Zheng, Dewayne E. Perry |
| 2017 | ISSTA | Boosting spectrum-based fault localization using PageRank. | Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid |