automatically verifying and reproducing event based races i published presentations and documents on DocSlides.