School of Computing

Publications by Dr Mark Batty

Also view these in the Kent Academic Repository

Article
Batty, M. (2017). Compositional relaxed concurrency. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences [Online] 375. Available at: https://doi.org/10.1098/rsta.2015.0406.
Conference or workshop item
Wickerson, J. et al. (2017). Automatically Comparing Memory Consistency Models. in: POPL 2017: Symposium on Principles of Programming Languages. New York: ACM, pp. 190-204. Available at: https://doi.org/10.1145/3093333.3009838.
Sorensen, T. et al. (2016). Portable Inter-workgroup Barrier Synchronisation for GPUs. in: 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pp. 39-58. Available at: https://doi.org/10.1145/2983990.2984032.
Batty, M., Donaldson, A. and Wickerson, J. (2016). Overhauling SC atomics in C11 and OpenCL. in: Symposium on Principles of Programming Languages 2016. pp. 634-648. Available at: http://dx.doi.org/10.1145/2837614.2837637.
Alglave, J. et al. (2015). GPU Concurrency: Weak Behaviours and Programming Assumptions. in: Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems. ACM Press, pp. 577-591. Available at: http://doi.acm.org/10.1145/2694344.2694391.
Wickerson, J. et al. (2015). Remote-scope Promotion: Clarified, Rectified, and Verified. in: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York, USA: ACM, pp. 731-747. Available at: http://doi.acm.org/10.1145/2814270.2814283.
Batty, M. et al. (2015). The Problem of Programming Language Concurrency Semantics. in: 24th European Symposium on Programming, held as Part of the European Joint Conferences on Theory and Practice of Software. Springer-Verlag Berlin, pp. 283-307. Available at: http://dx.doi.org/10.1007/978-3-662-46669-8_12.
Batty, M., Dodds, M. and Gotsman, A. (2013). Library abstraction for C/C++ concurrency. in: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, pp. 235-248. Available at: http://doi.acm.org/10.1145/2429069.2429099.
Sarkar, S. et al. (2012). Synchronising C/C++ and POWER. in: ACM SIGPLAN Conference on Programming Language Design and Implementation,. ACM Press, pp. 311-322. Available at: http://doi.acm.org/10.1145/2254064.2254102.
Batty, M. et al. (2012). Clarifying and compiling C/C++ concurrency: from C++11 to POWER. in: 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, pp. 509-520. Available at: http://doi.acm.org/10.1145/2103656.2103717.
Batty, M. et al. (2011). Mathematizing C++ concurrency. in: 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2011. ACM Press, pp. 55-66. Available at: http://doi.acm.org/10.1145/1926385.1926394.
Blanchette, J. et al. (2011). Nitpicking C++ concurrency. in: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. pp. 113-124. Available at: http://doi.acm.org/10.1145/2003476.2003493.
Total publications in KAR: 12 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 17/11/2017