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

POPL 2023	Author of Taking Back Control in an Intermediate Representation for GPU Computing within the POPL-track
ISSTA 2022	Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022	Author of (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems within the SIGPLAN Track-track Author of The PLDI Song within the PLDI-track Author of (OOPSLA 2021) Formal verification of high-level synthesis within the SIGPLAN Track-track
POPL 2022	Committee Member in Program Committee within the POPL-track
SPLASH 2021	Author of Specifying and Testing GPU Workgroup Progress Models within the OOPSLA-track Author of The Semantics of Shared Memory in Intel CPU/FPGA Systems within the OOPSLA-track Committee Member in Review Committee within the OOPSLA-track Author of Formal Verification of High-Level Synthesis within the Posters-track Author of Formal Verification of High-Level Synthesis within the OOPSLA-track Author of The Semantics of Shared Memory in Intel CPU/FPGA Systems within the Posters-track
ECOOP 2021	PC Member in Program Committee within the ECOOP Technical Papers-track
ISSTA 2021	Author of C4: the C Compiler Concurrency Checker within the Tool Demonstrations-track
PLDI 2021	Session Chair of Ask Me Anything (part of Ask Me Anything) Publicity Co-Chair in Organizing Committee
MET 2021	Author of Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools within the MET 2021-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