Banghu Yin

According to our database, Banghu Yin authored at least 17 papers between 2014 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

Static analysis of linear absolute value equalities among variables of a program.

Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang

Sci. Comput. Program., 2023

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.

Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang

Proceedings of the IEEE International Conference on Software Analysis, 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

FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer.

Jiaxi Xu, Ping Chen, Banghu Yin, Zhichang Huang, Qiaochun Qiu

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Using Fuzzing to Help Abstract Interpretation Based Program Verification.

Renjie Huang, Banghu Yin, Liqian Chen

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Symbolic Verification of Message Signatures in MPI.

Hengbiao Yu, Banghu Yin, Xin Yi

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Detecting High Floating-Point Errors via Ranking Analysis.

Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin

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

2021

An Abstract Domain to Infer Linear Absolute Value Equalities.

Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 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

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

2020

Hierarchical Analysis of Loops With Relaxed Abstract Transformers.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Reliab., 2020

2019

Verifying Numerical Programs via Iterative Abstract Testing.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot

Proceedings of the Static Analysis - 26th International Symposium, 2019

Property oriented verification via iterative abstract interpretation.

Banghu Yin

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2015

基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).

Banghu Yin, Liqian Chen, Ji Wang

计算机科学, 2015

2014

Robustness Analysis of Floating-Point Programs by Self-Composition.

Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang

J. Appl. Math., 2014