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
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
Sun 22 Dec 10:08