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: 0001:Tyler_Sorensen
Contributed to:
2017
2016
2016
20172018Wrote 5 papers:
- ESEC-FSE-2017-SorensenED #algorithm #gpu #kernel #multi
- Cooperative kernels: GPU multitasking for blocking algorithms (TS0, HE, AFD), pp. 431–441.
- OOPSLA-2016-SorensenDBGR
- 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.