Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Banghu Yin
conf.researchr.org general profile
APSEC 2022 profile
ICSE 2019 profile
ICST 2022 profile
Not registered as user
Name:
Banghu Yin
Affiliation:
National University of Defense Technology
Contributions
2022
APSEC
Author of Detecting High Floating-Point Errors via Ranking Analysis within the Technical Track-track
ICST
Author of Symbolic Verification of Message Signatures in MPI within the Research Papers-track
2019
ICSE
Author of Property Oriented Verification via Iterative Abstract Interpretation within the ACM Student Research Competition-track
Share
x
Sun 22 Dec 18:47