The pitfalls of verifying floating-point computations — mentioned by pascal_cuoq

Thu, 27 Mar 2014 11:30:41 GMT

In the case of C compilers, they get floating-point right by re-defining what the language definition means: http://arxiv.org/abs/cs/0701192 There has been some progress since the time this report was an accurate description of the situation, but the situation is still mostly terrible: http://stackoverflow.com/questions/17663780/is-there-a-docum... And soon, fused-multiply-add will be common enough that compilers will start generating by default the instruction for code that contains addiction and multiplications, causing a regression with respect to the current situation.

Paper and discussion history. A mention is not an endorsement.

The pitfalls of verifying floating-point computations · HackerPapers discussions

The pitfalls of verifying floating-point computations — mentioned by pascal_cuoq