Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Derrick
conf.researchr.org general profile
ECOOP 2015 profile
PPoPP 2019 profile
Not registered as user yet
Name:
John Derrick
Affiliation:
University of Sheffield
Contributions
PPoPP 2019
Author of Verifying C11 Programs Operationally within the Main Conference-track
ECOOP 2015
Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
Share
x
Fri 25 Sep 00:39