This page shows all presentations of this author published in EasyChair Smart Slide.
PrideMM: Second Order Model Checking for Memory Consistency Models
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota