Here is a presentation I gave to the First International Workshop on Software Correctness for HPC Applications (Correctness'17). Please click on the image to see the slides.
Here is a presentation I gave to the First International Workshop on Software Correctness for HPC Applications (Correctness'17). Please click on the image to see the slides.