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.
Book section
Wickerson, J., Batty, M., Sorensen, T. and Constantinides, G. (2017). Automatically Comparing Memory Consistency Models. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York, USA: ACM, pp. 190-204. Available at: https://doi.org/10.1145/3093333.3009838.
Flur, S., Sarkar, S., Pulte, C., Nienhuis, K., Maranget, L., Gray, K., Sezgin, A., Batty, M. and Sewell, P. (2017). Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York, USA: ACM, pp. 429-442. Available at: http://dx.doi.org/10.1145/3009837.3009839.
Sorensen, T., Donaldson, A., Batty, M., Gopalakrishnan, G. and Rakamarić, Z. (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. New York, USA: ACM, 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: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, USA: ACM, pp. 634-648. Available at: http://dx.doi.org/10.1145/2837614.2837637.
Wickerson, J., Batty, M., Beckmann, B. and Donaldson, A. (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. New York, USA: ACM, pp. 731-747. Available at: http://dx.doi.org/10.1145/2814270.2814283.
Batty, M., Memarian, K., Owens, S., Sarkar, S. and Sewell, P. (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. New York, USA: ACM, pp. 509-520. Available at: http://dx.doi.org/10.1145/2103656.2103717.
Sarkar, S., Memarian, K., Owens, S., Batty, M., Sewell, P., Maranget, L., Alglave, J. and Williams, D. (2012). Synchronising C/C++ and POWER. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, USA: ACM, pp. 311-322. Available at: http://dx.doi.org/10.1145/2254064.2254102.
Batty, M., Owens, S., Sarkar, S., Sewell, P. and Weber, T. (2011). Mathematizing C++ concurrency. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, USA: ACM, pp. 55-66. Available at: http://dx.doi.org/10.1145/1926385.1926394.
Blanchette, J., Weber, T., Batty, M., Owens, S. and Sarkar, S. (2011). Nitpicking C++ concurrency. In: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming. New York, USA: ACM, pp. 113-124. Available at: http://dx.doi.org/10.1145/2003476.2003493.
Conference or workshop item
Paviotti, M., Cooksey, S., Paradis, A., Wright, D., Owens, S. and Batty, M. (2020). Modular Relaxed Dependencies in Weak Memory Concurrency. In: 29th European Symposium on Programming, ESOP 2020. Springer, pp. 599-625. Available at: https://doi.org/10.1007/978-3-030-44914-8_22.
Dodds, M., Batty, M. and Gotsman, A. (2018). Compositional Verification of Compiler Optimisations on Relaxed Memory. In: ESOP 2018. Springer. Available at: https://doi.org/10.1007/978-3-319-89884-1_36.
Alglave, J., Batty, M., Donaldson, A., Gopalakrishnan, G., Ketema, J., Poetzl, D., Sorensen, T. and Wickerson, J. (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., Memarian, K., Nienhuis, K., Pichon-Pharabod, J. and Sewell, P. (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. Heidleberg, Germany: 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.
Total publications in KAR: 15 [See all in KAR]

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

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

Last Updated: 24/10/2020