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 | 22 | 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 |

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 | 8 | 2022 |

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 |

Novel polynomial approximation methods for generating correctly rounded elementary functions JP Lim Rutgers The State University of New Jersey, School of Graduate Studies, 2021 | 7 | 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 |