Registered user since Tue 15 Sep 2015

Name: John Wickerson

Bio: Research Associate, Department of Electrical and Electronic Engineering, Imperial College London

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://johnwickerson.github.io

Research interests: OpenCL, weak memory, FPGAs, GPUs, separation logic

SPLASH 2015 Activities

• Author of Remote-Scope Promotion: Clarified, Rectified, and Verified within the OOPSLA-track in SPLASH 2015
• Author of Remote-scope promotion: clarified, rectified, and verified within the OOPSLA Artifacts-track in SPLASH 2015
• Show activities from other conferences