This page shows all presentations of this author published in EasyChair Smart Slide.
Correctness of Concurrent Objects under Weak Memory Models
Graeme Smith, Kirsten Winter and Robert Colvin