Graeme Smith -

Registered user since Wed 1 Mar 2023

Name:Graeme Smith

Affiliation:The University of Queensland

Contributions

FormaliSE 2023	Session Chair of Application (part of FormaliSE 2023) Author of A Dafny-based approach to thread-local information flow analysis within the FormaliSE 2023-track
ICSE 2023	Author of Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models within the Showcase-track
ECOOP 2015	Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track