John Wickerson

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

Contributions

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

SPLASH 2015-profile
View general profile