Tao Bao Xiangyu Zhang 0001 On-the-fly detection of instability problems in floating-point program execution. 817-832 2013 OOPSLA https://doi.org/10.1145/2509136.2509526 https://doi.org/10.1145/2544173.2509526 conf/oopsla/2013 db/conf/oopsla/oopsla2013.html#BaoZ13