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)