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).