| 2025 | ICFEM | Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. | Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang |
| 2025 | QRS | Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis. | Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin |
| 2024 | APSEC | Sound Floating-Point Neural Network Verification with MILP. | Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang |
| 2024 | APSEC | F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. | Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin |
| 2023 | QRS | FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer. | Jiaxi Xu, Ping Chen, Banghu Yin, Zhichang Huang, Qiaochun Qiu |
| 2023 | SETTA | An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, 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 |
| 2022 | QRS | Using Fuzzing to Help Abstract Interpretation Based Program Verification. | Renjie Huang, Banghu Yin, Liqian Chen |
| 2021 | APSEC | Static Analysis of Resource Usage Bounds for Imperative Programs. | Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin |
| 2021 | ISSRE | Static Bound Analysis of Dynamically Allocated Resources for C Programs. | Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang |
| 2021 | TASE | An Abstract Domain to Infer Linear Absolute Value Equalities. | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang |
| 2019 | ICSE | Property oriented verification via iterative abstract interpretation. | Banghu Yin |
| 2019 | SAS | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |