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

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