Xin Yi -

Registered user since Sat 17 Feb 2018

Name:Xin Yi

Country:China

Affiliation:National University of Defense Technology

Research interests:Programming Languages, Numerical Software, Automated Program Repair

Contributions

APSEC 2022	Author of NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs within the Technical Track-track 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
POPL 2019	Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track