Banghu Yin

21 papers A 3B 1C 6Misc 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Detecting Vector Container Errors in C++ Programs via Abstract Interpretation.
ICFEM
Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang
2025 J jnl
Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions.
Proc. ACM Softw. Eng.
Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, Ji Wang
2025 C conf
Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis.
QRS
Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin
2024 — conf
F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs.
QuASoQ@APSEC
Sheng Zou, Liqian Chen, Guangsheng Fan, Renjie Huang, Banghu Yin
2024 C conf
Sound Floating-Point Neural Network Verification with MILP.
APSEC
Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang
2023 Misc conf
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.
SETTA
Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang
2023 A conf
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.
SANER
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
2023 C conf
FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer.
QRS
Jiaxi Xu, Ping Chen, Banghu Yin, Zhichang Huang, Qiaochun Qiu
2023 J jnl
Static analysis of linear absolute value equalities among variables of a program.
Sci. Comput. Program.
Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang
2022 C conf
Detecting High Floating-Point Errors via Ranking Analysis.
APSEC
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin
2022 J jnl
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2022 A conf
Symbolic Verification of Message Signatures in MPI.
ICST
Hengbiao Yu, Banghu Yin, Xin Yi
2022 — conf
Using Fuzzing to Help Abstract Interpretation Based Program Verification.
QRS Companion
Renjie Huang, Banghu Yin, Liqian Chen
2021 Misc conf
An Abstract Domain to Infer Linear Absolute Value Equalities.
TASE
Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang
2021 C conf
Static Analysis of Resource Usage Bounds for Imperative Programs.
APSEC
Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin
2021 A conf
Static Bound Analysis of Dynamically Allocated Resources for C Programs.
ISSRE
Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang
2020 J jnl
Hierarchical Analysis of Loops With Relaxed Abstract Transformers.
IEEE Trans. Reliab.
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2019 — conf
Property oriented verification via iterative abstract interpretation.
ICSE (Companion Volume)
Banghu Yin
2019 B conf
Verifying Numerical Programs via Iterative Abstract Testing.
SAS
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
2015 J jnl
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).
计算机科学
Banghu Yin, Liqian Chen, Ji Wang
2014 J jnl
Robustness Analysis of Floating-Point Programs by Self-Composition.
J. Appl. Math.
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang