Registered user since Sat 17 Feb 2018

Name:Xin Yi
Affiliation:National University of Defense Technology
Research interests:Programming Languages, Numerical Software, Automated Program Repair


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