conf.researchr.org / Banghu Yin

Not registered as user yet

Name:Banghu Yin
Affiliation:National University of Defense Technology

Contributions

APSEC 2022 Author of Detecting High Floating-Point Errors via Ranking Analysis within the Technical Track-track
ICST 2022 Author of Symbolic Verification of Message Signatures in MPI within the Research Papers-track
ICSE 2019 Author of Property Oriented Verification via Iterative Abstract Interpretation within the ACM Student Research Competition-track