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)
^{2}
, 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.