Static Analysis of Resource Usage Bounds for Imperative Programs. - Liqian Chen; Taoqing Chen; Guangsheng Fan; Banghu Yin (APSEC, 2021)

Making Rigorous Linear Programming Practical for Program Analysis. - Tengbin Wang; Liqian Chen; Taoqing Chen; Guangsheng Fan; Ji Wang 001 (CP, 2021)

Static Bound Analysis of Dynamically Allocated Resources for C Programs. - Guangsheng Fan; Taoqing Chen; Banghu Yin; Liqian Chen; Tengbin Wang; Ji Wang 001 (ISSRE, 2021)

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. - Chenghu Ma; Liqian Chen; Xin Yi; Guangsheng Fan; Ji Wang 001 (APSEC, 2022)

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. - Han Xu; Liqian Chen; Guangsheng Fan; Banghu Yin; Ji Wang 001 (SETTA, 2023)

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs. - Sheng Zou; Liqian Chen; Guangsheng Fan; Renjie Huang; Banghu Yin (QuASoQ@APSEC, 2024)

Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. - Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)