02 May 2018

Distinguished Lecture at UC Davis, and also talks at Texas State University and University of Delaware

Ganesh Gopalakrishnan

Ganesh Gopalakrishnan gave a Distinguished Lecture at UC Davis on 05/10/18, a colloquium at Texas State University on 04/06/18 and a colloquium at the University of Delaware on 05/02/18 - all on this topic: “Can Formal Methods (alone) Rescue HPC Debugging”.

The (UC Davis version of the) talk announcement is here, and the talk itself can be viewed from here (spread over four MP4 videos).