1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.MS2021★ 1 cited
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim, Santosh Nagarakatte
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 gene…
cs.MS2020
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations
Jay P. Lim, Mridul Aanjaneya, John Gustafson +1
Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and…