Travelled to:
1 × USA
Collaborated with:
Z.Fu Z.Su
Talks about:
backward (1) analysi (1) numer (1) error (1) autom (1) code (1)
Person: Zhaojun Bai
DBLP: Bai:Zhaojun
Contributed to:
Wrote 1 papers:
- OOPSLA-2015-FuBS #analysis #automation #fault
- Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.