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)
Models of Computation, Fall 2020
(Center for Parallel Computing (CPU): Publications, Software, People, ...)
(FV Research Group: Publications, Software, People, ...)
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.
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.
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.
National Laboratory DIRECTOR'S 2020 EXCELLENCE IN PUBLICATION
(Student Category Winner)
Ph.D. Student: Michael Bentley.
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
Center for Parallel Computing at Utah (CPU)
ACM Distinguished Speaker: TALKS available
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 (accepted for publication in CACM, 2020.)
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,
Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
Ganesh C Gopalakrishnan, and
ACM Transactions on Architecture and Code Optimization, August 2020,
Article No.: 19.
FailAmp: Relativization Transformation for Soft Error Detection in
Structured Address Generation
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),
POSTER: ArcherGear: Data Race Equivalencing for Expeditious HPC Debugging
Authors: Samuel Thayer,
Ganesh L. Gopalakrishnan,
Dong H. Ahn,
Gregory L. Lee.
PPoPP 2020 Poster Paper, February 2020.
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,
Zvonimir Rakamari\'c, and
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.
Taheri, Saeed, Ian Briggs, Martin Burtscher,
and Ganesh Gopalakrishnan.
IEEE Cluster, 2019.
Formal Methods in System Design (Springer)
Recent Book, ``Automata and Computability: a Programmer's Perspective''
Talk at BYU Idaho on Automata and Computability using Jove (see by book listed below)
Distinguished Lecture, UC Davis on Formal Methods for HPC
SYLLABUS OF FALL 2020 OFFERING (Look for a SIGCSE 2021 Demo Presentation)
The Amazon link;
Its software "Jove" is on Github
(my other ride)
(PhD `Opponent' at Twente)
Last modified December 2020