John Wickerson

Registered user since Tue 15 Sep 2015

Name: John Wickerson

Bio: I am a Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London.

Country: United Kingdom

Affiliation: Imperial College London

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

Research interests: concurrency semantics, FPGAs, GPUs, high-level synthesis, OpenCL, separation logic, transactional memory, weak memory, …

Contributions

PLDI 2020Publicity Co-Chair in Organizing Committee
POPL 2020Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track
SPLASH 2019Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track
ECOOP 2019Committee Member in External Review Committee within the Research Papers-track
Session Chair of Language Design and Implementation (part of Research Papers)
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018Author of The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ within the PLDI Research Papers-track
POPL 2017Author of Automatically Comparing Memory Consistency Models within the POPL-track
POPL 2016Author of Overhauling SC atomics in C11 and OpenCL within the Research Papers-track
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