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: Batty:Mark
Contributed to:
2015
2015
2015
2013
201220122011
20112018201620162017Wrote 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.
- OOPSLA-2015-WickersonBBD
- 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.
- OOPSLA-2016-SorensenDBGR
- Portable inter-workgroup barrier synchronisation for GPUs (TS0, AFD, MB, GG, ZR), pp. 39–58.
- POPL-2016-BattyDW
- 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.