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

2025

ECOOP

Author of Spegion: Implicit and Non-Lexical Regions with Sized Allocations within the Technical Papers-track

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

POCL

Author of Rust on Morello within the POCL 2024-track

The Future of Weak Memory

2023

ECOOP

Author of Rust for Morello: Always-on Memory Safety, Even in Unsafe Code within the Research Papers-track

ISMM

Author of Memory Consistency Models for Program Transformations: An Intellectual Abstract within the ISMM 2023-track

2022

POPL

Author of The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency within the POPL-track

2021

POPL

Committee Member in Program Committee within the POPL-track

2018

POPL

Committee Member in Program Committee within the Research Papers-track

2017

ECOOP

Committee Member in Program Committee within the ECOOP Research Papers-track

Principles and Practice of Parallel Programming

Programme Committee in Program Committee

POPL

2016

SPLASH

PLDI

Committee Member in External Review Committee

POPL

Author of Overhauling SC atomics in C11 and OpenCL within the Research Papers-track

2015

SPLASH

ESOP

Author of The Problem of Programming Language Concurrency Semantics within the ESOP-track

	
		OSZAR »