Thread
Stories related to "Floating-point representation (2011)" across the full archive.
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
(cs.rutgers.edu)
Abstract: "This paper proposes a set of techniques to develop correctly
rounded math libraries for 32-bit float and posit types. It
enhances our RLibm approach that frames the problem of
generating correctly rounded libraries as a linear programming problem in the context of 16-bit types to scale...
This is a colloquium style talk which presents the idea of the "posit", a possible replacement for IEEE 754 floats. He starts talking about posits at the 15 minute mark.
Floating (point) butterfly effect: Searching for tiny bugs that cause big problems
(blog.esciencecenter.nl)
Original paper [here](https://herbie.uwplse.org/pldi15-paper.pdf).
Abstract: "We present an effective technique for crosschecking an IEEE
754 floating-point program and its SIMD-vectorized ver-
sion, implemented in KLEE-FP, an extension to the KLEE
symbolic execution tool that supports symbolic reasoning on
the equivalence between floating-point values.
...