Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Banghu Yin
conf.researchr.org general profile
APSEC 2024 profile
ASE 2026 profile
ISSTA 2025 profile
Internetware 2026 profile
Not registered as user
Name:
Banghu Yin
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2026
ASE
Author of Fully Automating Template Polyhedral Analysis by Leveraging LLMs within the Research Papers-track
Internetware
Author of Value Analysis of Floating-Point Fortran Programs by Combining Interval and Zonotopic Abstractions within the Research Track-track
2025
ISSTA
Author of Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions within the Research Papers-track
2024
APSEC
Author of Sound Floating-Point Neural Network Verification with MILP within the Technical Track-track
Share
x
Fri 23 Oct 10:43