High performance correctly rounded math libraries for 32-bit floating point representations JP Lim, S Nagarakatte Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 22 | 2021 |
An approach to generate correctly rounded math libraries for new floating point variants JP Lim, M Aanjaneya, J Gustafson, S Nagarakatte Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 21 | 2021 |
Debugging and detecting numerical errors in computation with posits S Chowdhary, JP Lim, S Nagarakatte Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 20 | 2020 |
Automatic equivalence checking for assembly implementations of cryptography libraries JP Lim, S Nagarakatte 2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019 | 17 | 2019 |
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes JP Lim, S Nagarakatte Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 14 | 2022 |
A novel approach to generate correctly rounded math libraries for new floating point representations JP Lim, M Aanjaneya, J Gustafson, S Nagarakatte arXiv preprint arXiv:2007.05344, 2020 | 14 | 2020 |
Approximating trigonometric functions for posits using the CORDIC method JP Lim, M Shachnai, S Nagarakatte Proceedings of the 17th ACM International Conference on Computing Frontiers …, 2020 | 11 | 2020 |
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes JP Lim, S Nagarakatte arXiv preprint arXiv:2108.06756, 2021 | 8 | 2021 |
Progressive polynomial approximations for fast correctly rounded math libraries M Aanjaneya, JP Lim, S Nagarakatte Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 7 | 2022 |
Novel polynomial approximation methods for generating correctly rounded elementary functions JP Lim Rutgers The State University of New Jersey, School of Graduate Studies, 2021 | 6 | 2021 |
Compiler optimizations with retrofitting transformations: Is there a semantic mismatch? JP Lim, V Ganapathy, S Nagarakatte Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017 | 4 | 2017 |
RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries M Aanjaneya, JP Lim, S Nagarakatte arXiv preprint arXiv:2111.12852, 2021 | 1 | 2021 |
RLIBM-32: high performance correctly rounded math libraries for 32-bit floating point representations JP Lim, S Nagarakatte arXiv preprint arXiv:2104.04043, 2021 | | 2021 |