Items where Author, Editor or other role is "Batty, Mark"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: A | B | C | D | F | G | H | J | P | R | S | W

Number of items: 23.

A

Alglave, Jade, Batty, Mark, Donaldson, Alastair F., Gopalakrishnan, Ganesh, Ketema, Jeroen, Poetzl, Daniel, Sorensen, Tyler, Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. ACM Press ISBN 978-1-4503-2835-7. (doi:10.1145/2694344.2694391) (KAR id:50272)

B

Batty, Mark (2017) Compositional relaxed concurrency. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375 (2104). Article Number 20150406. ISSN 1364-503X. E-ISSN 1471-2962. (doi:10.1098/rsta.2015.0406) (KAR id:64300)

Batty, Mark and Donaldson, Alastair F. and Wickerson, John (2016) Overhauling SC atomics in C11 and OpenCL. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 634-648. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837637) (KAR id:51385)

Batty, Mark, Memarian, Kayvan, Nienhuis, Kyndylan, Pichon-Pharabod, Jean, Sewell, Peter (2015) The Problem of Programming Language Concurrency Semantics. In: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer-Verlag Berlin, Heidleberg, Germany ISBN 978-3-662-46668-1. (doi:10.1007/978-3-662-46669-8_12) (KAR id:50271)

Batty, Mark, Dodds, Mike, Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press ISBN 978-1-4503-1832-7. (doi:10.1145/2429069.2429099) (KAR id:50270)

Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter (2012) Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 509-520. ISBN 978-1-4503-1083-3. (doi:10.1145/2103656.2103717) (KAR id:50268)

Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ concurrency. In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, New York, USA, pp. 55-66. ISBN 978-1-4503-0490-0. (doi:10.1145/1926385.1926394) (KAR id:50265)

Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit (2011) Nitpicking C++ concurrency. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. ACM, New York, USA, pp. 113-124. ISBN 978-1-4503-0776-5. (doi:10.1145/2003476.2003493) (KAR id:50260)

C

Cooksey, Simon (2022) Automating C++ Execution Exploration to Solve the Out-of-thin-air Problem. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.93948) (KAR id:93948)

D

Dodds, Mike, Batty, Mark, Gotsman, Alexey (2018) Compositional Verification of Compiler Optimisations on Relaxed Memory. In: Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings. Springer ISBN 978-3-319-89883-4. (doi:10.1007/978-3-319-89884-1_36) (KAR id:66630)

F

Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter (2017) Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 429-442. ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009839) (KAR id:64723)

G

Gopalakrishnan, Akshay, Verbrugge, Clark, Batty, Mark (2023) Memory Consistency Models for Program Transformations: An Intellectual Abstract. In: ISMM 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management. ACM ISBN 979-8-4007-0179-5. (doi:10.1145/3591195.3595274) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:101694)

H

Hughes, Jack Dylan, Vollmer, Michael, Batty, Mark (2025) Spegion: Implicit and non-lexical regions with sized allocations. In: 39th European Conference on Object-Oriented Programming (ECOOP 2025), 30 June - 04 July 2025, Bergen, Norway. (doi:10.4230/LIPIcs.ECOOP.2025.15) (KAR id:110458)

Harris, Sarah, Cooksey, Simon, Vollmer, Michael, Batty, Mark (2023) Rust for Morello: Always-on memory safety, even in unsafe code (experience paper). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). LIPIcs Schloss Dagstuhl - Leibniz-Zentrum f\"r Informatik E-ISBN 978-3-95977-281-5. (doi:10.4230/LIPICS.ECOOP.2023.39) (KAR id:106406)

J

JEFFREY, A, Riely, J, Batty, Mark, Cooksey, Simon, KAYSIN, I, PODKOPAEV, A (2022) The Leaky Semicolon. Principles of Programming Languages, 6 . pp. 1-30. ISSN 0743-9016. (doi:10.1145/3498716) (KAR id:95153)

P

Paviotti, Marco, Cooksey, Simon, Paradis, Anouk, Wright, Daniel, Owens, Scott, Batty, Mark (2020) Modular Relaxed Dependencies in Weak Memory Concurrency. In: Programming Languages and System: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software. Springer ISBN 978-3-030-44913-1. (doi:10.1007/978-3-030-44914-8_22) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:81430)

R

Richards, Jay, Wright, Daniel, Cooksey, Simon, Batty, Mark (2025) Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. Proceedings of the ACM on Programming Languages, 9 (OOPSLA). pp. 1858-1882. ISSN 2475-1421. (doi:10.1145/3721089) (KAR id:110436)

S

Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamarić, Zvonimir (2016) Portable Inter-workgroup Barrier Synchronisation for GPUs. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 39-58. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984032) (KAR id:57941)

Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, USA, pp. 311-322. ISBN 978-1-4503-1205-9. (doi:10.1145/2254064.2254102) (KAR id:50269)

W

Wright, Daniel, Dalvandi, Sadegh, Batty, Mark, Dongol, Brijesh (2023) Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects of Computing, 35 (2). pp. 1-27. ISSN 1433-299X. (doi:10.1145/3580285) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:99629)

Wright, Daniel, Batty, Mark, Dongol, B (2021) Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies. In: Formal Methods 2021. (KAR id:95154)

Wickerson, John, Batty, Mark, Sorensen, Tyler, Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3093333.3009838) (KAR id:63503)

Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 731-747. ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814283) (KAR id:51384)

This list was generated on Thu Apr 2 19:58:50 2026 BST.