EasyChair Smart SlideDocs/Log in
Author: Graeme Smith

This page shows all presentations of this author published in EasyChair Smart Slide.

Opening remarks at FMTea19

Opening remarks at FMTea19

Luigia Petre, Brijesh Dongol and Graeme Smith

Correctness of Concurrent Objects under Weak Memory Models

Correctness of Concurrent Objects under Weak Memory Models

Graeme Smith, Kirsten Winter and Robert Colvin

A wide-spectrum language for verification of programs on weak memory models

A wide-spectrum language for verification of programs on weak memory models

Robert Colvin and Graeme Smith

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair