Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Graeme Smith
conf.researchr.org general profile
ECOOP 2015 profile
ICSE 2023 profile
POPL 2016 profile
Registered user since Wed 1 Mar 2023
Name:
Graeme Smith
Affiliation:
The University of Queensland
Contributions
2023
FormaliSE
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
Author of Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models within the Showcase-track
2015
ECOOP
Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
Share
x
Sat 19 Jul 06:46