Mark Batty

According to our database, Mark Batty authored at least 28 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies.

Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol

Formal Aspects Comput., June, 2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Dagstuhl Artifacts Ser., 2023

Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk, Mark Batty, Brijesh Dongol

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Memory Consistency Models for Program Transformations: An Intellectual Abstract.

Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper).

Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency.

Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev

Proc. ACM Program. Lang., 2022

Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel.

Sam Dawson, Mark Batty

Proceedings of the IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, 2022

2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).

Daniel Wright, Mark Batty, Brijesh Dongol

CoRR, 2021

Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies.

Daniel Wright, Mark Batty, Brijesh Dongol

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Modular Relaxed Dependencies in Weak Memory Concurrency.

Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty

Proceedings of the Programming Languages and Systems, 2020

2019

PrideMM: A Solver for Relaxed Memory Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

CoRR, 2019

PrideMM: Second Order Model Checking for Memory Consistency Models.

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolás Janota

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Compositional Verification of Compiler Optimisations on Relaxed Memory.

Mike Dodds, Mark Batty, Alexey Gotsman

Proceedings of the Programming Languages and Systems, 2018

2017

Automatically comparing memory consistency models.

John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Mixed-size concurrency: ARM, POWER, C/C++11, and SC.

Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Overhauling SC atomics in C11 and OpenCL.

Mark Batty, Alastair F. Donaldson, John Wickerson

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Portable inter-workgroup barrier synchronisation for GPUs.

Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

The C11 and C++11 concurrency model.

Mark John Batty

PhD thesis, 2015

Taming the complexities of the C11 and OpenCL memory models.

John Wickerson, Mark Batty

CoRR, 2015

Remote-scope promotion: clarified, rectified, and verified.

John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

The Problem of Programming Language Concurrency Semantics.

Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell

Proceedings of the Programming Languages and Systems, 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.

Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2013

C/C++ Causal Cycles Confound Compositionality.

Mike Dodds, Mark Batty, Alexey Gotsman

Tiny Trans. Comput. Sci., 2013

Library abstraction for C/C++ concurrency.

Mark Batty, Mike Dodds, Alexey Gotsman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Clarifying and compiling C/C++ concurrency: from C++11 to POWER.

Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Nitpicking C++ concurrency.

Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Mathematizing C++ concurrency.

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011