Provable GPU Data-Races in Static Race Detection

Dennis Liew; Tiago Cogumbreiro; Julien Lange

doi:10.4204/EPTCS.356.4

Provable GPU Data-Races in Static Race Detection

Dennis Liew
, Tiago Cogumbreiro
, Julien Lange

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	36-45
Number of pages	10
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	356
DOIs	https://doi.org/10.4204/EPTCS.356.4
State	Published - Mar 24 2022
Event	13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 - Munich, Germany Duration: Apr 3 2022 → …

ASJC Scopus Subject Areas

Software

Access to Document

10.4204/EPTCS.356.4

Cite this

@article{5be9259134214e1a808090b1526d2dda,

title = "Provable GPU Data-Races in Static Race Detection",

author = "Dennis Liew and Tiago Cogumbreiro and Julien Lange",

note = "Publisher Copyright: {\textcopyright} D. Liew, T. Cogumbreiro, \& J. Lange; 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022 ; Conference date: 03-04-2022",

year = "2022",

month = mar,

day = "24",

doi = "10.4204/EPTCS.356.4",

language = "English",

volume = "356",

pages = "36--45",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Provable GPU Data-Races in Static Race Detection

AU - Liew, Dennis

AU - Cogumbreiro, Tiago

AU - Lange, Julien

N1 - Publisher Copyright: © D. Liew, T. Cogumbreiro, & J. Lange

PY - 2022/3/24

Y1 - 2022/3/24

UR - https://www.scopus.com/pages/publications/85127842594

UR - https://www.scopus.com/pages/publications/85127842594#tab=citedBy

U2 - 10.4204/EPTCS.356.4

DO - 10.4204/EPTCS.356.4

M3 - Conference article

AN - SCOPUS:85127842594

SN - 2075-2180

VL - 356

SP - 36

EP - 45

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2022

Y2 - 3 April 2022

ER -

Provable GPU Data-Races in Static Race Detection

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this