• Sign in
  • Sign up
conf.researchr.org / Graeme Smith
  • 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

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

Share
xSat 3 Jun 09:25
using conf.researchr.org (v1.60.0)
Support page
Sign Up