John Derrick -

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