This week, I am visiting the group of Prof. Cooperman at the Northeastern University in Boston, USA. Here are the slides of the seminar that I gave at yesterday. After a short introduction on the performance side of SimGrid, it goes into how we implemented a dynamic verification tool within SimGrid. I tried to explain how we solved the OS programming issues while trying to verify unmodified legacy HPC applications. Please click on the image to see the slides.