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)
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
, 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.