Collaborated with:
L.Chen X.Mao Tao Ji
Talks about:
librari (1) repair (1) effici (1) point (1) numer (1) float (1) error (1) autom (1) high (1)
Person: Xin Yi
DBLP: Yi:Xin
Contributed to:
Wrote 1 papers:
- POPL-2019-YiCMJ #automation #fault #float #library #performance
- Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.