Progressive polynomial approximations for fast correctly rounded math libraries-Reference-Cited by-同舟云学术

Progressive polynomial approximations for fast correctly rounded math libraries

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Aanjaneya Mridul¹,Lim Jay P.²,Nagarakatte Santosh¹

Affiliation:

1. Rutgers University, USA

2. Yale University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523447

Reference41 articles.

1. Mridul Aanjaneya Jay P. Lim and Santosh Nagarakatte. 2022. RLibm-Prog. https://github.com/rutgers-apl/rlibm-prog Mridul Aanjaneya Jay P. Lim and Santosh Nagarakatte. 2022. RLibm-Prog. https://github.com/rutgers-apl/rlibm-prog

2. Formally Verified Argument Reduction with a Fused Multiply-Add

3. Polynomials and Polynomial Inequalities

4. Code Generators for Mathematical Functions

5. Design and synthesis of an IEEE-754 exponential function

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions;Proceedings of the 53rd International Conference on Parallel Processing;2024-08-12

3. Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation;Proceedings of the ACM on Programming Languages;2024-06-20

4. Implementation and Synthesis of Math Library Functions;Proceedings of the ACM on Programming Languages;2024-01-05

5. Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach;Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization;2023-02-17