Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simon Doherty
conf.researchr.org general profile
PPoPP 2019 profile
SPLASH 2020 profile
Not registered as user yet
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
x
Tue 3 Dec 17:58