• Sign in
  • Sign up
conf.researchr.org / John Derrick
  • 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
xThu 11 Aug 20:28
using conf.researchr.org (v1.56.0)
Support page
Sign Up