Santosh Nagarakatte

1. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
   2021/05/12 by Harishankar Vishwanathan, Matan Shachnai, Vishwanathan, Harishankar +5 · 4 voices · 1 citation
   #cs.PL
2. 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
3. Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
   2023/12/25 by Maya Gokhale, Gokhale, Maya, Ganesh Gopalakrishnan +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)