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

2024

APSEC

Author of Efficient Floating-point Error Detection for Numerical Programs via Error-Free Transformations (Poster) within the ERA - Early Research Achievements-track

SPLASH

Author of FPCC: Detecting Floating-Point Errors via Chain Conditions within the OOPSLA 2024-track

2022

APSEC

ICST

Author of Symbolic Verification of Message Signatures in MPI within the Research Papers-track

2019

POPL

Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track