Mark Batty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Spegion: Implicit and Non-Lexical Regions with Sized Allocations. | Jack Hughes, Michael Vollmer, Mark Batty |
| 2023 | ECOOP | Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). | Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty |
| 2023 | SEFM | Verifying Read-Copy Update Under RC11. | Mikhail Semenyuk, Mark Batty, Brijesh Dongol |
| 2021 | FM | Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. | Daniel Wright, Mark Batty, Brijesh Dongol |
| 2020 | ESOP | Modular Relaxed Dependencies in Weak Memory Concurrency. | Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty |
| 2019 | FM | PrideMM: Second Order Model Checking for Memory Consistency Models. | Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikols Janota |
| 2018 | ESOP | Compositional Verification of Compiler Optimisations on Relaxed Memory. | Mike Dodds, Mark Batty, Alexey Gotsman |
| 2017 | POPL | 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 |
| 2017 | POPL | Automatically comparing memory consistency models. | John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides |
| 2016 | OOPSLA | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | POPL | Overhauling SC atomics in C11 and OpenCL. | Mark Batty, Alastair F. Donaldson, John Wickerson |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2015 | ESOP | The Problem of Programming Language Concurrency Semantics. | Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
| 2015 | OOPSLA | Remote-scope promotion: clarified, rectified, and verified. | John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson |
| 2013 | POPL | Library abstraction for C/C++ concurrency. | Mark Batty, Mike Dodds, Alexey Gotsman |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2012 | POPL | Clarifying and compiling C/C++ concurrency: from C++11 to POWER. | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
| 2011 | POPL | Mathematizing C++ concurrency. | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
| 2011 | PPDP | Nitpicking C++ concurrency. | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |