BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.F.Donaldson J.Wickerson M.Batty H.Evrard N.Chong G.A.Constantinides G.Gopalakrishnan Z.Rakamaric
Talks about:
memori (3) weak (2) gpu (2) synchronis (1) workgroup (1) multitask (1) algorithm (1) transact (1) portabl (1) consist (1)

Person: Tyler Sorensen 0001

DBLP DBLP: 0001:Tyler_Sorensen

Contributed to:

ESEC/FSE 20172017
OOPSLA 20162016
PLDI 20162016
POPL 20172017
PLDI 20182018

Wrote 5 papers:

ESEC-FSE-2017-SorensenED #algorithm #gpu #kernel #multi
Cooperative kernels: GPU multitasking for blocking algorithms (TS0, HE, AFD), pp. 431–441.
Portable inter-workgroup barrier synchronisation for GPUs (TS0, AFD, MB, GG, ZR), pp. 39–58.
PLDI-2016-SorensenD #fault #gpu #memory management
Exposing errors related to weak memory in GPU applications (TS0, AFD), pp. 100–113.
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.

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.