-
A no-thin-air memory model for programming
languages.
Jean Yves Alexis Pichon-Pharabod.
PhD thesis, University of Cambridge, September 2017.
[ bib |
doi |
http |
abstract ]
-
The C11 and C++11 Concurrency Model.
Mark John Batty.
PhD thesis, University of Cambridge, 2014.
2015 SIGPLAN John C. Reynolds Doctoral Dissertation award and 2015
CPHC/BCS Distinguished Dissertation Competition winner.
[ bib |
pdf |
abstract ]
-
Library Abstraction for C/C++ Concurrency.
Mark Batty, Mike Dodds, and Alexey Gotsman.
In POPL 2013.
[ bib |
doi |
pdf |
abstract ]
-
Nitpicking C++ Concurrency.
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens,
and Susmit Sarkar.
In PPDP 2011.
[ bib |
doi |
pdf |
abstract ]
-
Safe Optimisations for Shared-memory Concurrent
Programs.
Jaroslav Ševčík.
In PLDI 2011.
[ bib |
doi |
pdf |
abstract ]