Mark Batty -

Registered user since Wed 16 Mar 2016

Name:Mark Batty

Country:United Kingdom

Affiliation:University of Kent

Personal website:https://www.cs.kent.ac.uk/people/staff/mjb211/

Contributions

POPL 2022	Author of The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency within the POPL-track
POPL 2021	Committee Member in Program Committee within the POPL-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
PPoPP 2017	Programme Committee in Program Committee
POPL 2017	Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track Author of Automatically Comparing Memory Consistency Models within the POPL-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2016	Committee Member in External Review Committee
SPLASH 2016	Committee Member in Program Committee within the Doctoral Symposium-track Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track
POPL 2016	Author of Overhauling SC atomics in C11 and OpenCL within the Research Papers-track
ESOP 2015	Author of The Problem of Programming Language Concurrency Semantics within the ESOP-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