Guangsheng Fan

According to our database, Guangsheng Fan authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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