Automated backward error analysis for numerical code.

Zhoulai Fu, Zhaojun Bai, Zhendong Su

Browse the full OOPSLA paper archive.