• 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

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
xSat 19 Jul 06:46
using conf.researchr.org (v1.69.1)
Support page
Sign Up