Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Graeme Smith
conf.researchr.org general profile
ECOOP 2015 profile
FM 2026 profile
ICSE 2023 profile
POPL 2016 profile
Registered user since Wed 1 Mar 2023
Name:
Graeme Smith
Affiliation:
The University of Queensland
Contributions
2026
FM
Committee Member in Tutorial Track Committee within the Tutorials-track
Author of Generating Rely-Guarantee Conditions with the Conditional-Writes Domain within the Research Track-track
Committee Member in Program Committee within the Research Track-track
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
Wed 15 Apr 17:50