Travelled to:1 × Cyprus
1 × Italy
1 × Turkey
1 × USA
Collaborated with:M.Batty A.F.Donaldson M.Dodds M.J.Parkinson A.Raad V.Vafeiadis T.S.0001 N.Chong B.M.Beckmann G.A.Constantinides Gil Neiger J.Alglave G.Gopalakrishnan J.Ketema D.Pötzl T.Sorensen
Talks about:semant (4) persist (3) weak (3) transact (2) memori (2) model (2) architectur (1) behaviour (1) stabilis (1) overhaul (1)
Person: John Wickerson
DBLP: Wickerson:John
Contributed to:
2015
2015
201320102019
20162017
20182020Wrote 9 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.
- OOPSLA-2015-WickersonBBD
- Remote-scope promotion: clarified, rectified, and verified (JW, MB, BMB, AFD), pp. 731–747.
- ESOP-2013-WickersonDP #logic #proving
- Ribbon Proofs for Separation Logic (JW, MD, MJP), pp. 189–208.
- ESOP-2010-WickersonDP #composition #reasoning
- Explicit Stabilisation for Modular Rely-Guarantee Reasoning (JW, MD, MJP), pp. 610–629.
- OOPSLA-2019-RaadWV #formal method #modelling #semantics #transaction
- Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models (AR, JW, VV), p. 27.
- POPL-2016-BattyDW
- Overhauling SC atomics in C11 and OpenCL (MB, AFD, JW), pp. 634–648.
- POPL-2017-WickersonBSC #automation #consistency #memory management #modelling
- Automatically comparing memory consistency models (JW, MB, TS0, GAC), pp. 190–204.
- PLDI-2018-ChongSW #c++ #memory management #semantics #transaction
- The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.
- POPL-2020-RaadWNV #architecture #semantics
- Persistency semantics of the Intel-x86 architecture (AR, JW, GN, VV), p. 31.