Mark Batty Email: mark.batty@cl.cam.ac.uk Address: Computer Laboratory Telephone: +44-1223-763-656 CV In 2015, I started as a lecturer at the University of Kent. My thesis can be found on my Kent page.

Publications

Conference Papers

• Library abstraction for C/C++ concurrency. M. Batty, M. Dodds, and A. Gotsman. In Proc. 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2013. peer reviewed, 14 pages.
• Synchronising C/C++ and POWER. S. Sarkar, K. Memarian, S. Owens, M. Batty, P. Sewell, L. Maranget, J. Alglave, and D. Williams. In Proc. 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), 2012. peer reviewed, 10 pages.
• Clarifying and compiling C/C++ concurrency: from C++0x to POWER. M. Batty, K. Memarian, S. Owens, S. Sarkar, and P. Sewell. In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012. peer reviewed, 12 pages.
• Nitpicking C++ concurrency. J. C. Blanchette, T. Weber, M. Batty, S. Owens, S. Sarkar. In Proc. 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), 2011. peer reviewed, 11 pages.
• Mathematizing C++ concurrency. M. Batty, S. Owens, S. Sarkar, P. Sewell, and T. Weber. In Proc. 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2011. peer reviewed, 12 pages.

Workshop Papers

• Relaxed memory models must be rigorous. F. Zappa Nardelli, P. Sewell, J. Ševčík, S. Sarkar, S. Owens, L. Maranget, M. Batty, and J. Alglave. In Proc. Exploiting Concurrency Efficiently and Correctly - (EC)², 2009.

C++ Standard Committee Papers

• N3196: Omnibus Memory Model and Atomics Paper. P. McKenney, M. Batty, C. Nelson, H. Boehm, A. Williams, S. Owens, S. Sarkar, P. Sewell, T. Weber, M.Wong, L. Crowl, and B. Kosnik. November 11, 2010.
• N3132: Mathematizing C++ Concurrency: The Post-Rapperswil Model. M. Batty, S. Owens, S. Sarkar, P. Sewell, and T. Weber. August 23, 2010.
• N3125: Omnibus Memory Model and Atomics Paper. P. McKenney, M. Batty, C. Nelson, H. Boehm, A. Williams, S. Owens, S. Sarkar, P. Sewell, T. Weber, M.Wong, and L. Crowl. August 22, 2010.
• N3136: Coherence Requirements Detailed. M.Wong, B. Kosnik, and M. Batty. August 20, 2010.
• N3074: Updates to C++ Memory Model Based on Formalization. P. McKenney, M. Batty, C. Nelson, N.M. Maclaren, H. Boehm, A. Williams, P. Dimov, and L. Crowl. March 11, 2010.
• N3045: Updates to C++ Memory Model Based on Formalization. P. McKenney, M. Batty, C. Nelson, N.M. Maclaren, H. Boehm, A. Williams, P. Dimov, and L. Crowl. February 15, 2010.
• N3057: Explicit Initializers for Atomics. P. McKenney, M. Batty, C. Nelson, N.M. Maclaren, H. Boehm, A. Williams, P. Dimov, and L. Crowl. March 11, 2009.
• N2955: Comments on the C++ Memory Model Following a Partial Formalization Attempt. M. Batty. September 28, 2009.