• Sign in
  • Sign up
conf.researchr.org / Mark Batty
  • ESOP 2015 profile
  • PLDI 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • PPoPP 2017 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
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 2018Committee Member in Program Committee within the Research Papers-track
PPoPP 2017Programme Committee in Program Committee
POPL 2017Author 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 2017Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2016Committee Member in External Review Committee
SPLASH 2016Committee Member in Program Committee within the Doctoral Symposium-track
Author of Portable Inter-workgroup Barrier Synchronisation for GPUs within the OOPSLA-track
POPL 2016Author of Overhauling SC atomics in C11 and OpenCL within the Research Papers-track
ESOP 2015Author of The Problem of Programming Language Concurrency Semantics within the ESOP-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

Share
xMon 9 Dec 20:33
using conf.researchr.org (v1.21.5)
Support page
Sign Up