Mark Batty

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 18

Top Topics

Nested Transactions

Semantic Dependencies

Dependency Graphs

Top Venues

Publications

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