Banghu Yin

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Topics

Static Analysis

Imperative Programs

Abstract Interpretation

Top Venues

ICSE (Companion Volume)

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)
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER (2023)
Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
Static analysis of linear absolute value equalities among variables of a program. Sci. Comput. Program. 225 (2023)
Jiaxi Xu, Ping Chen, Banghu Yin, Zhichang Huang, Qiaochun Qiu
FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer. QRS (2023)
Renjie Huang, Banghu Yin, Liqian Chen
Using Fuzzing to Help Abstract Interpretation Based Program Verification. QRS Companion (2022)
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin
Detecting High Floating-Point Errors via Ranking Analysis. APSEC (2022)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Hengbiao Yu, Banghu Yin, Xin Yi
Symbolic Verification of Message Signatures in MPI. ICST (2022)
Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin
Static Analysis of Resource Usage Bounds for Imperative Programs. APSEC (2021)
Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
An Abstract Domain to Infer Linear Absolute Value Equalities. TASE (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)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69 (1) (2020)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
Verifying Numerical Programs via Iterative Abstract Testing. SAS (2019)
Banghu Yin
Property oriented verification via iterative abstract interpretation. ICSE (Companion Volume) (2019)
Banghu Yin, Liqian Chen, Ji Wang
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions). 计算机科学 42 (7) (2015)
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014 (2014)