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  o u t a h o e d u
Phone: (801) 581-3568
Fax:     (801) 581-5843

BIO Full name: Ganesh Lalitha Gopalakrishnan (aka Ganesh Gopalakrishnan in past papers)


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

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

  • Center for Parallel Computing (CPU): Publications, Software, People, ...


  • Software Engineering for Research Software (SE4RS'23) Workshop
  • 30th IEEE International Symposium on Computer Arithmetic (ARITH 2023)
  • Supercomputing 2022, 2023
  • ASPLOS 2023

    1. (5 min watch, SIGCSE Video Link ) Jove software. The contents of Jove's Github allow you to ``Sculpt Automata'' using Jupyter notebooks. See accompanying textbook info bottom of this page.

      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 (Awarded in 2020), Supercomputing (SC) 2020; Ph.D. Student: Arnab Das.
        Paper citation: Arnab Das, Ian Briggs, Sriram Krishnamoorthy, and Pavel Panchekha, Scalable yet Rigorous Floating-Point Error Analysis.
      3. NVIDIA GRADUTE 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.
    3. Recent Papers:
      1. Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization Authors: Ignacio Laguna and Ganesh Gopalakrishnan, Supercomputing 2022
      2. 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)
      3. 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
      4. 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
      5. 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
      6. 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)
      7. 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.
      8. 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.
      9. An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis Authors: Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Pavel Panchekha, Sriram Krishnamoorthy, Accepted for Publication in Supercomputing 2020. (See arXiv:2004.11960 for a previous version.)
      10. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamari\'c, and Ganesh Gopalakrishnan. ACM Trans. Program. Lang. Syst. 41, no. 1 (December 2018): 2:1-2:39. doi:10.1145/3230733.
      11. DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. Authors: Taheri, Saeed, Ian Briggs, Martin Burtscher, and Ganesh Gopalakrishnan. IEEE Cluster, 2019.
    4. Director, Center for Parallel Computing at Utah (CPU)
    5. ACM Distinguished Speaker: TALKS available
      1. Talk at BYU Idaho on Automata and Computability using Jove (see by book listed below)
      2. Distinguished Lecture, UC Davis on Formal Methods for HPC
    6. Associate Editor, Formal Methods in System Design (Springer)
    7. Textbook, ``Automata and Computability: a Programmer's Perspective''
      1. You can build and reason about DFA, NFA, PDA, Parsing, Turing Machines, BDD, Post-Correspondence, Interactive Y-Combinator in Python (Jupyter notebooks). Also, syllabus and assignment over the years. SIGCSE Video (5-minute watch) )
      2. The Amazon link; Cover Design

    8. Models of Computation, Fall 202x
    9. MACRoS (8th-grade class on promoting MAth, Computing, RobOtics and Science, Summer 2006
    10. Software Correctness, 2023

      (Siberian head-warmer) (my other ride) (PhD `Opponent' at Twente)
      Last modified September 2022