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 × 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 DBLP: Wickerson:John

Contributed to:

ASPLOS 20152015
OOPSLA 20152015
ESOP 20132013
ESOP 20102010
OOPSLA 20192019
POPL 20162016
POPL 20172017
PLDI 20182018
POPL 20202020

Wrote 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.
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.
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.

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.