Guangsheng Fan

According to our database, Guangsheng Fan authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs.

Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin

Proceedings of the 12th International Workshop on Quantitative Approaches to Software Quality co-located with the 31st Asia Pacific Software Engineering Conference 2024 (APSEC 2024), 2024

2023

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.

Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.

Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Static Bound Analysis of Dynamically Allocated Resources for C Programs.

Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Making Rigorous Linear Programming Practical for Program Analysis.

Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Static Analysis of Resource Usage Bounds for Imperative Programs.

Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021