POPL 2017
Sun 15 - Sat 21 January 2017
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


POPL 2017 Automatically Comparing Memory Consistency Models
Show activities from other conferences

POPL 2017-profile
View general profile