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

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