Ganesh Gopalakrishnan
Professor, Computer Science,
University of Utah,
50 S Central Campus Dr, Room 3428 MEB,
Salt Lake City, UT 84112-9205

Email : firstname at    c s  DOT utah DOT edu
Phone: 801-581-8224 (KSoC Office)
Fax: NONE - please send email


BIO Full name: Ganesh Lalitha Gopalakrishnan (aka Ganesh Gopalakrishnan in past papers)
Supercomputing 2024 Half-Day Tutorial (~2 min promo video)
RESEARCH PAGES

  • Principal Investigator, DOE XStack Project "ComPort: Rigorous Testing Methods to Safeguard Software Porting." SITE.


  • Principal Investigator, "NSF REU Site: Trust and Reproducibility of Intelligent Computation." SITE.


    • Recent Highlights (TL; DR)

      You will find SLIDES that I recently used in my lectures on these topics:

      • How Silicon gets manufactured and why it matters to know; includes image of inverse photolithography, and how tin drops get ablated :-)
      • The basics of Floating-Point Arithmetic (gut-level);
      • My first attempt at explaining how a GPT works, including simple GPTs that learn N-gram languages (cf. Karpathy) of a DFA (created using Jove).
      • How we have used SMT to study floating-point specifications of GPU Tensor Cores. Mostly this is an intro to Z3 by Phil Zucker. Then an encoding of the Ken-Ken Game. Then more stuff on FP modeling (Benjamin Valpey's NASA Formal Methods Best Paper – gist).

      These lectures were given at the SPARC Lecture Series, May 26–29, 2025, National Institute of Technology (NIT), Calicut, Kerala, India.

      PLDI 2025 Array Workshop: Paper + Slides are available HERE. And the talk video is HERE.

      Free Automata and Computability using Google Colab (Activity Edition Book) HERE

      with An Overview Video. (Book approved for release by Taylor and Francis – but please cite them when using the book.)


      Funding Acknowledgements

      NSF Logo
      NOTE: The following grants are listed as an acknowledgement to various funding agencies sponsoring my research. I HAVE FILLED ALL VACANCIES of RAships associated with these grants. I do not expect to take on a new RA till at least Fall 2025.
      Prof. Ganesh Gopalakrishnan's research is funded by the Department of Energy, Office of Science, Office of Advanced Scientific Computing Research under award number DE-SC0024042 under the XStack Project (DOE Office of Science). Their project 'ComPort : Rigorous Testing Methods to Safeguard Software Porting' investigates methods to port software reliably across upcoming hardware. Prof. Ganesh Gopalakrishnan's research is also funded by several NSF projects. Most of his papers and software involve multiple of these projects (given the small amounts of money per project). Each paper and software item is therefore collectively attributed to all these NSF projects.
      NSF Logo
    1. NSF 2446084, Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War. Awarded 04/11/2025 for 4 years.
    2. NSF 2403379, Collaborative Research: SHF: Medium: SciOPT : Toward Certifiable Compression-Aware SciML Systems. began Fall 2024 for three years.
    3. NSF 2346394, Collaborative Research: CIRC: Medium: New: Workbench for Reliable and Efficient Numerics. Began Fall 2024 for three years.
    4. NSF 2244492, REU Site, REU Site: Trust and Reproducibility Education for Undergraduates. Intelligent Computation for Science and Engineering. Awarded 2/27/2023 for three years.
    5. NSF 2217154, Senior Personnel, PPoSS. Collaborative Research: PPoSS: Large: A comprehensive framework for efficient, scalable, and performance-portable tensor applications. Awarded 6/2022 for five years.
    6. NSF 2124100, Collaborative Research: FMitF: Track-1: Correctness at Both Ends (CBE): Rigorous ML Meets Correct and Efficient Sparse Implementations. Awarded 6/2021 for three years.
    7. VSS 2025: International Workshop on Verification of Scientific Software, May 4, 2025 Hamilton ON, Canada
      1. VSS 2025 PROGRAM
    8. Correct Data Compression Workshop (CoDaC) Organized; Slides:
      1. CoDaC PROGRAM and CoDaC SLIDES
    9. Recent Papers and Software Releases:
      1. HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs, John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan, Accepted in Supercomputing 2024. Arxiv link for HiRace
      2. Rigorous Error Analysis for Logarithmic Number Systems, Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan. 2024. Arxiv link for LNS
      3. FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs, Authors: Anh Tran, Ignacio Laguna and Ganesh Gopalakrishnan, HPDC 2024. FPBoxer paper link.
      4. FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna and Ganesh Gopalakrishnan. CCGrid 2024. (Arxiv paper) and Zenodo link to FTTN Software
      5. Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel. Arxiv link for the CSC report
      6. (Best Workshop Paper Award) What Operations can be Performed Directly on Compressed Arrays, and with What Error? Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel. SC Workshops 2023: 252-262 Arxiv link for PyBlaz paper and PyBlaz Software
      7. Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li, and Ganesh Gopalakrishnan. HPDC 2023. GPU-FPX paper link. and GPU-FPX Software
      8. Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization Authors: Ignacio Laguna and Ganesh Gopalakrishnan, Supercomputing 2022. Xscope paper.
      9. BinFPE: Accurate Floating-Point Exception Detection for GPU Applications Authors: Ignacio Laguna, Xinyi Li and Ganesh Gopalakrishnan, 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
      10. Ignacio Laguna, Tanmay Tirpankar, Xinyi Li and Ganesh Gopalakrishnan, ``FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC,'' IEEE International Symposium on Workload Characterization (IISWC) 2022
      11. Guarding Numerics Amidst Rising Heterogeneity Authors: G. Gopalakrishnan, I. Laguna, A. Li, P. Panchekha, C. Rubio-González and Z. Tatlock, 2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications
      12. Keeping Science On Keel When Software Moves Authors: Dong Ahn, Allison H. Baker, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dorit M. Hammerling, Ignacio Laguna, Gregory L. Lee, Daniel J. Milroy, Mariana Vertenstein, February 2021
      13. A Programmable Approach to Model Compression Authors: Vinu Joseph, Saurav Muralidharan, Animesh Garg, Michael Garland, and Ganesh Gopalakrishnan, IEEE Micro, Special Issue on ML for Systems (Track 2), Volume: 40 , Issue: 5 , Sept.-Oct. 1 2020, (IEEE Xplore)
      14. FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh C Gopalakrishnan, and Ramakrishna Tipireddy, ACM Transactions on Architecture and Code Optimization, August 2020, Article No.: 19.
      15. FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation Authors: Ian Briggs, Arnab Das, Marek S Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, and Ganesh C Gopalakrishnan. ACM Transactions on Architecture and Code Optimization (TACO), 2019.
      16. (Best Student Paper in Supercomputing 2020) An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Pavel Panchekha, Sriram Krishnamoorthy, Supercomputing 2020.
      17. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamarić, and Ganesh Gopalakrishnan. ACM Trans. Program. Lang. Syst. 41, no. 1 (December 2018): 2:1-2:39. doi:10.1145/3230733.
      18. DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging Authors: Taheri, Saeed, Ian Briggs, Martin Burtscher, and Ganesh Gopalakrishnan. IEEE Cluster, 2019.
    10. STUDENT RECOGNITION:
      1. TEST OF TIME HONORABLE MENTION (Awarded in 2020, for paper authored in 2010): Foundations of Software Engineering. Ph.D. Student: Guodong Li.
        Paper citation: Guodong Li and Ganesh Gopalakrishnan, Scalable SMT-based verification of GPU kernel functions
      2. BEST STUDENT PAPER AWARDS: DRBSD Workshop and Supercomputing (SC) 2020 (see in paper list)
      3. NVIDIA GRADUATE FELLOWSHIP 2020 , Ph.D. Student: Vinu Joseph. School of Computing News Item
      4. Lawrence Livermore National Laboratory DIRECTOR'S 2020 EXCELLENCE IN PUBLICATION (Student Category Winner) Ph.D. Student: Michael Bentley. Paper citation: Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones, Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs
    11. FORMER ACM Distinguished Speaker: TALKS available
      1. Talk at BYU Idaho on Automata and Computability using Jove
      2. Distinguished Lecture, UC Davis on Formal Methods for HPC
    12. Associate Editor, Formal Methods in System Design (Springer)



    SOME CLASSES
  • Models of Computation, Fall 202x

  • MACRoS (8th-grade class on promoting MAth, Computing, RobOtics and Science, Summer 2006

  • My ParFloat Class, 2025

  • Software Correctness, 2023


    • (Siberian head-warmer) (my other ride) (PhD `Opponent' at Twente)
    Last modified August 2024