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

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