School of Computing

Publications by Dr Mark Batty

Also view these in the Kent Academic Repository

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.. Available at: http://conf.researchr.org/home/POPL-2016.
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.
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.
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: 11 [See all in KAR]

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

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

Last Updated: 26/09/2017