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)
RESEARCH PAGES
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, ...
PROGRAM COMMITTEES
Supercomputing 2022
ASPLOS 2023
HIGHLIGHTS (TL; DR)
- STUDENT RECOGNITION:
-
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.
-
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.
-
NVIDIA GRADUTE FELLOWSHIP 2020
,
Ph.D. Student: Vinu Joseph.
School of Computing News Item.
-
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.
Recent Papers:
-
Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization
Authors: Ignacio Laguna and Ganesh Gopalakrishnan, Supercomputing 2022
-
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)
-
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
-
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
-
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
-
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)
-
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.
-
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.
-
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.)
-
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.
-
DiffTrace: Efficient Whole-Program Trace Analysis and
Diffing for Debugging.
Authors:
Taheri, Saeed, Ian Briggs, Martin Burtscher,
and Ganesh Gopalakrishnan.
IEEE Cluster, 2019.
Director,
Center for Parallel Computing at Utah (CPU)
ACM Distinguished Speaker: TALKS available
-
Talk at BYU Idaho on Automata and Computability using Jove (see by book listed below)
-
Distinguished Lecture, UC Davis on Formal Methods for HPC
Associate Editor,
Formal Methods in System Design (Springer)
Recent Book, ``Automata and Computability: a Programmer's Perspective''
-
SYLLABUS OF FALL 2020 OFFERING (Look for a SIGCSE 2021 Demo Presentation)
-
The Amazon link;
Cover Design
Its software "Jove" is on Github
HERE
Excerpts are
HERE
SOME CLASSES
Models of Computation, Fall 202x
MACRoS (8th-grade class on promoting MAth, Computing, RobOtics and Science, Summer 2006
Software Correctness, 2023
(Siberian head-warmer)
(my other ride)
(PhD `Opponent' at Twente)
Last modified September 2022