• Sign in
  • Sign up
conf.researchr.org / Simon Doherty
  • PPoPP 2019 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

Name:Simon Doherty
Affiliation:University of Sheffield

Contributions

2020

SPLASH

  • Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track

ECOOP

  • Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
  • Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track
  • Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track

2019

Principles and Practice of Parallel Programming

  • Author of Verifying C11 Programs Operationally within the Main Conference-track
Share
xFri 23 May 04:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up