Lim, Jay P.

1. RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
   2021/04/08 by Jay P. Lim, Lim, Jay P., Santosh Nagarakatte +1 · 4 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Low-power high-performance VLSI design #Mathematical Software (cs.MS) #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques
2. A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations
   2020/07/09 by Jay P. Lim, Lim, Jay P., Mridul Aanjaneya +6 · 1 voice
   Computer Science · Engineering · #Advanced Numerical Analysis Techniques #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #cs.MS