Mark Batty Email: mark.batty@cl.cam.ac.uk Address: Computer Laboratory Telephone: +44-1223-763-656 CV I am a PhD student under the supervision of Peter Sewell. Undergraduates might consider this project with Jagdish Modi.

Publications

Conference Papers

• Library abstraction for C/C++ concurrency. M. Batty, M. Dodds, and A. Gotsman. In submission.
• 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, and 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. Z. 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, B. Kosnik. November 11, 2010.
• N3132: Mathematizing C++ Concurrency: The Post-Rapperswil Model. M. Batty, S. Owens, S. Sarkar, P. Sewell, 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, L. Crowl. August 22, 2010.
• N3136: Coherence Requirements Detailed. M.Wong, B. Kosnik, 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, 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, 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, L. Crowl. March 11, 2009.
• N2955: Comments on the C++ Memory Model Following a Partial Formalization Attempt. M. Batty. September 28, 2009.