Guangsheng Fan

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Interval Arithmetic

Static Analysis

Top Venues

Publications

Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. SETTA (2023)
Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. APSEC (2022)
Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin
Static Analysis of Resource Usage Bounds for Imperative Programs. APSEC (2021)
Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang
Making Rigorous Linear Programming Practical for Program Analysis. CP (2021)
Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang
Static Bound Analysis of Dynamically Allocated Resources for C Programs. ISSRE (2021)