Author of the publication

RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes.

, and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hardware-Enforced Comprehensive Memory Safety., , and . IEEE Micro, 33 (3): 38-47 (2013)Multicore acceleration of priority-based schedulers for concurrency bug detection., , , and . PLDI, page 543-554. ACM, (2012)On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph., , and . IWOMP, volume 12295 of Lecture Notes in Computer Science, page 149-164. Springer, (2020)RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes., and . CoRR, (2021)Testing Cross-Platform Mobile App Development Frameworks (T)., , , and . ASE, page 441-451. IEEE Computer Society, (2015)A randomized scheduler with probabilistic guarantees of finding bugs., , , and . ASPLOS, page 167-178. ACM, (2010)Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra., , and . CoRR, (2020)An approach to generate correctly rounded math libraries for new floating point variants., , , and . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes., and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)A parallelism profiler with what-if analyses for OpenMP programs., , and . SC, page 16:1-16:14. IEEE / ACM, (2018)