Ganesh Gopalakrishnan

About

Ganesh Gopalakrishnan is a Professor of Computer Science at the University of Utah. His research focuses on formal methods, rigorous testing, and correctness in high-performance and scientific computing, including floating-point error analysis and GPU program verification.

Education

• Ph.D. State University of New York, Stony Brook, 1986

Selected publications

• HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs
• Rigorous Error Analysis for Logarithmic Number Systems
• FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs
• FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators
• Report of the DOE/NSF Workshop on Correctness in Scientific Computing
• What Operations can be Performed Directly on Compressed Arrays, and with What Error?
• Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs
• Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization
• BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
• FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC