Nagarakatte, Santosh

1. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
   2021/05/12 by Harishankar Vishwanathan, Vishwanathan, Harishankar, Matan Shachnai +5 · 4 voices · 1 citation
   Computer Science · #Cryptography and Residue Arithmetic #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #cs.PL
2. RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
   2021/04/08 by Jay P. Lim, Santosh Nagarakatte, Lim, Jay P. +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
3. Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
   2023/12/25 by Maya Gokhale, Ganesh Gopalakrishnan, Gokhale, Maya +9 · 3 citations
   Computer Science · Decision Sciences · #Advanced Data Storage Technologies #B.8.1 #C.1.4 #Cloud Computing and Resource Management #D.0.3 #D.0.4 #D.1.3 #D.2.1 #D.2.5 #D.3.1 #Distributed #FOS: Computer and information sciences #G.1.2 #J.2 #Parallel #Scientific Computing and Data Management #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
4. 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