Ganesh Gopalakrishnan

1. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
   2018/12/11 by Alexey Solovyev, Marek Baranowski, Marek S. Baranowski +4 · 9 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Numerical Methods and Algorithms
2. FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators
   2024/03/01 by Xinyi Li, Li, Xinyi, Ang Li +10 · 1 voice · 4 citations
   Computer Science · Mathematics · #Advanced Data Storage Technologies #Parallel Computing and Optimization Techniques #Tensor decomposition and applications #cs.AR
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. Going Beyond Classification Accuracy Metrics in Model Compression
   2020/12/03 by V. Roshan Joseph, Shoaib Ahmed Siddiqui, Joseph, Vinu +13 · 2 citations
   Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
5. HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs
   2024/01/09 by John T. Jacobson, Jacobson, John, Martin Burtscher +3 · 1 citation
   Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Ferroelectric and Negative Capacitance Devices #Cloud Computing and Resource Management
6. Mechanisms of Mid- to Outer-Shelf Transport of Shoreline-Released Tracers
   2020/05/18 by Xiaodong Wu, Falk Feddersen, Sarah N. Giddings +2 · 6 citations
   Earth and Planetary Sciences · #Oceanographic and Atmospheric Processes #Marine and coastal ecosystems #Coastal and Marine Dynamics
7. Pathogen Forecast Model Version 1.0: A Process-based Five-Day Beach Advisory Forecast System for the San Diego/Tijuana Region
   2026/07/26 by Falk Feddersen, M. S. Spydell, Akanksha Gupta +15