BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Denmark
1 × Italy
1 × Turkey
1 × United Kingdom
3 × USA
Collaborated with:
J.Wickerson A.F.Donaldson P.Sewell S.Sarkar S.Owens M.Dodds A.Gotsman K.Memarian T.S.0001 T.Weber G.Gopalakrishnan K.Nienhuis J.Alglave B.M.Beckmann G.A.Constantinides L.Maranget J.Pichon-Pharabod J.C.Blanchette Z.Rakamaric J.Ketema D.Pötzl T.Sorensen D.Williams S.Flur Christopher Pulte K.E.Gray A.Sezgin
Talks about:
concurr (7) power (3) synchronis (2) program (2) clarifi (2) memori (2) compil (2) workgroup (1) behaviour (1) overhaul (1)

Person: Mark Batty

DBLP DBLP: Batty:Mark

Contributed to:

ASPLOS 20152015
ESOP 20152015
OOPSLA 20152015
POPL 20132013
PLDI 20122012
POPL 20122012
POPL 20112011
PPDP 20112011
ESOP 20182018
OOPSLA 20162016
POPL 20162016
POPL 20172017

Wrote 13 papers:

ASPLOS-2015-AlglaveBDGKPSW #behaviour #concurrent #gpu #programming
GPU Concurrency: Weak Behaviours and Programming Assumptions (JA, MB, AFD, GG, JK, DP, TS, JW), pp. 577–591.
ESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics
The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
Remote-scope promotion: clarified, rectified, and verified (JW, MB, BMB, AFD), pp. 731–747.
POPL-2013-BattyDG #abstraction #c #c++ #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPL-2011-BattyOSSW #c++ #concurrent
Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
PPDP-2011-BlanchetteWBOS #c++ #concurrent
Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
ESOP-2018-DoddsBG #compilation #composition #memory management #optimisation #verification
Compositional Verification of Compiler Optimisations on Relaxed Memory (MD, MB, AG), pp. 1027–1055.
Portable inter-workgroup barrier synchronisation for GPUs (TS0, AFD, MB, GG, ZR), pp. 39–58.
Overhauling SC atomics in C11 and OpenCL (MB, AFD, JW), pp. 634–648.
POPL-2017-FlurSPNMGSBS #concurrent
Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
POPL-2017-WickersonBSC #automation #consistency #memory management #modelling
Automatically comparing memory consistency models (JW, MB, TS0, GAC), pp. 190–204.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.