| 2025 | APSEC | Function-level Optimization Automatic Tuner for Numerical Programs. | Xinni Liu, Xinpeng Li, Guangping Yu, Hengbiao Yu, Xin Yi, Chun Huang |
| 2024 | ICPP | Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. | Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng |
| 2023 | APSEC | Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang |
| 2023 | QRS | Input Validation for Neural Networks via Local Robustness Verification. | Jiangchao Liu, Liqian Chen, Antoine Min, Hengbiao Yu, Ji Wang |
| 2022 | APSEC | Detecting High Floating-Point Errors via Ranking Analysis. | Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin |
| 2022 | ICST | Symbolic Verification of Message Signatures in MPI. | Hengbiao Yu, Banghu Yin, Xin Yi |
| 2020 | ICSE | MPI-SV: a symbolic verifier for MPI programs. | Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | SETTA | Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang |
| 2018 | ICSE | Combining symbolic execution and model checking to verify MPI programs. | Hengbiao Yu |
| 2018 | ICSE | Symbolic verification of regular properties. | Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong |
| 2015 | ICSE | Poster: Symbolic Execution of MPI Programs. | Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang |