Collaborated with:
Xin Yi L.Chen X.Mao
Talks about:
librari (1) repair (1) effici (1) point (1) numer (1) float (1) error (1) autom (1) high (1)
Person: Tao Ji
DBLP: Ji:Tao
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.