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/

POPL 2017 Activities

• Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track in POPL 2017
• Author of Automatically Comparing Memory Consistency Models within the POPL-track in POPL 2017
• Show activities from other conferences