5 papers
FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
Tung-Che Chang, Sehyeok Park, Jay P Lim +1
The upcoming IEEE-P3109 standard for low-precision floating-point arithmetic can become the foundation of future machine learning hardware and software. Unlike IEEE-754, P3109 intr…
Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
This paper proposes sufficient, yet more general conditions for applying FastTwoSum as an error-free transformation (EFT) under all faithful rounding modes. Additionally, it also i…
Fast Trigonometric Functions using the RLIBM Approach
Sehyeok Park, Santosh Nagarakatte
This paper describes our experience developing polynomial approximations for trigonometric functions that produce correctly rounded results for multiple representations and roundin…
RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
Sehyeok Park, Justin Kim, Santosh Nagarakatte
Our RLibm project generates a single implementation for an elementary function that produces correctly rounded results for multiple rounding modes and representations with up to 32…
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo +3
This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing (CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference (FCRC)…