Not registered as user yet

Name: Xiaoguang Mao

Affiliation: National University of Defense Technology

Contributions

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