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
Name:
John Derrick
Affiliation:
University of Sheffield
Contributions
2019
Principles and Practice of Parallel Programming
Author of Verifying C11 Programs Operationally within the Main Conference-track
2015
ECOOP
Author of Defining Correctness Conditions for Concurrent Objects in Multicore Architectures within the Research Track-track
Share
x
Fri 13 Jun 15:55