Efficient Floating-Point Error Detection for Numerical Programs via Error-Free Transformations.

Wei Yao, Jingke Zhang, Xin Yi

Browse the full APSEC paper archive.