Mark Batty

33 papers A* 8A 7B 2C 2Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Memory Consistency and Program Transformations.
Formal Aspects Comput.
Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty
2025 A conf
Spegion: Implicit and Non-Lexical Regions with Sized Allocations.
ECOOP
Jack Hughes, Michael Vollmer, Mark Batty
2025 J jnl
Spegion: Implicit and Non-Lexical Regions with Sized Allocations.
CoRR
Jack Hughes, Michael Vollmer, Mark Batty
2025 J jnl
Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice.
Proc. ACM Program. Lang.
Jay Richards, Daniel Wright, Simon Cooksey, Mark Batty
2024 J jnl
Memory Consistency and Program Transformations.
CoRR
Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty
2023 J jnl
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.
Formal Aspects Comput.
Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol
2023 C conf
Memory Consistency Models for Program Transformations: An Intellectual Abstract.
ISMM
Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty
2023 J jnl
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).
Dagstuhl Artifacts Ser.
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
2023 A conf
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).
ECOOP
Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty
2023 B conf
Verifying Read-Copy Update Under RC11.
SEFM
Mikhail Semenyuk, Mark Batty, Brijesh Dongol
2022 — conf
Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel.
IWSPA@CODASPY
Sam Dawson, Mark Batty
2022 J jnl
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency.
Proc. ACM Program. Lang.
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
2021 J jnl
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).
CoRR
Daniel Wright, Mark Batty, Brijesh Dongol
2021 B conf
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies.
FM
Daniel Wright, Mark Batty, Brijesh Dongol
2020 A conf
Modular Relaxed Dependencies in Weak Memory Concurrency.
ESOP
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
2019 J jnl
PrideMM: A Solver for Relaxed Memory Models.
CoRR
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
2019 — conf
PrideMM: Second Order Model Checking for Memory Consistency Models.
FM Workshops (2)
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota
2018 A conf
Compositional Verification of Compiler Optimisations on Relaxed Memory.
ESOP
Mike Dodds, Mark Batty, Alexey Gotsman
2018 J jnl
Compositional Verification of Compiler Optimisations on Relaxed Memory.
CoRR
Mike Dodds, Mark Batty, Alexey Gotsman
2017 A* conf
Automatically comparing memory consistency models.
POPL
John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides
2017 A* conf
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
POPL
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
2016 A* conf
Overhauling SC atomics in C11 and OpenCL.
POPL
Mark Batty, Alastair F. Donaldson, John Wickerson
2016 A conf
Portable inter-workgroup barrier synchronisation for GPUs.
OOPSLA
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2015 A* conf
GPU Concurrency: Weak Behaviours and Programming Assumptions.
ASPLOS
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
2015 A conf
Remote-scope promotion: clarified, rectified, and verified.
OOPSLA
John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
2015 J jnl
Taming the complexities of the C11 and OpenCL memory models.
CoRR
John Wickerson, Mark Batty
2015 A conf
The Problem of Programming Language Concurrency Semantics.
ESOP
Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
2013 J jnl
C/C++ Causal Cycles Confound Compositionality.
Tiny Trans. Comput. Sci.
Mike Dodds, Mark Batty, Alexey Gotsman
2013 A* conf
Library abstraction for C/C++ concurrency.
POPL
Mark Batty, Mike Dodds, Alexey Gotsman
2012 A* conf
Clarifying and compiling C/C++ concurrency: from C++11 to POWER.
POPL
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
2012 A* conf
Synchronising C/C++ and POWER.
PLDI
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
2011 A* conf
Mathematizing C++ concurrency.
POPL
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
2011 C conf
Nitpicking C++ concurrency.
PPDP
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar