Checking Data-Race Freedom of GPU Kernels, Compositionally

Tiago Cogumbreiro; Julien Lange; Dennis Liew Zhen Rong; Hannah Zicarelli

doi:10.1007/978-3-030-81685-8_19

Checking Data-Race Freedom of GPU Kernels, Compositionally

Tiago Cogumbreiro
, Julien Lange
, Dennis Liew Zhen Rong
, Hannah Zicarelli

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings
Editors	Alexandra Silva, K. Rustan Leino
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	403-426
Number of pages	24
ISBN (Print)	9783030816841
DOIs	https://doi.org/10.1007/978-3-030-81685-8_19
State	Published - 2021
Event	33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online Duration: Jul 20 2021 → Jul 23 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12759 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	33rd International Conference on Computer Aided Verification, CAV 2021
City	Virtual, Online
Period	7/20/21 → 7/23/21

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

Behavioural types
Data-race
GPU
Static analysis

Access to Document

10.1007/978-3-030-81685-8_19

Cite this

Cogumbreiro, T., Lange, J., Rong, D. L. Z., & Zicarelli, H. (2021). Checking Data-Race Freedom of GPU Kernels, Compositionally. In A. Silva, & K. R. Leino (Eds.), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings (pp. 403-426). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-81685-8_19

Checking Data-Race Freedom of GPU Kernels, Compositionally. / Cogumbreiro, Tiago; Lange, Julien; Rong, Dennis Liew Zhen et al.
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. ed. / Alexandra Silva; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. p. 403-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cogumbreiro, T, Lange, J, Rong, DLZ & Zicarelli, H 2021, Checking Data-Race Freedom of GPU Kernels, Compositionally. in A Silva & KR Leino (eds), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12759 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 403-426, 33rd International Conference on Computer Aided Verification, CAV 2021, Virtual, Online, 7/20/21. https://doi.org/10.1007/978-3-030-81685-8_19

Cogumbreiro T, Lange J, Rong DLZ, Zicarelli H. Checking Data-Race Freedom of GPU Kernels, Compositionally. In Silva A, Leino KR, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 403-426. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-81685-8_19

Cogumbreiro, Tiago ; Lange, Julien ; Rong, Dennis Liew Zhen et al. / Checking Data-Race Freedom of GPU Kernels, Compositionally. Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. editor / Alexandra Silva ; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. pp. 403-426 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f6d2cb4e649c46968c66970e28737a36,

title = "Checking Data-Race Freedom of GPU Kernels, Compositionally",

keywords = "Behavioural types, Data-race, GPU, Static analysis",

author = "Tiago Cogumbreiro and Julien Lange and Rong, \{Dennis Liew Zhen\} and Hannah Zicarelli",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).; 33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",

year = "2021",

doi = "10.1007/978-3-030-81685-8\_19",

language = "English",

isbn = "9783030816841",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "403--426",

editor = "Alexandra Silva and Leino, \{K. Rustan\}",

booktitle = "Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings",

}

TY - GEN

T1 - Checking Data-Race Freedom of GPU Kernels, Compositionally

AU - Cogumbreiro, Tiago

AU - Lange, Julien

AU - Rong, Dennis Liew Zhen

AU - Zicarelli, Hannah

PY - 2021

Y1 - 2021

KW - Behavioural types

KW - Data-race

KW - GPU

KW - Static analysis

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

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

U2 - 10.1007/978-3-030-81685-8_19

DO - 10.1007/978-3-030-81685-8_19

M3 - Conference contribution

AN - SCOPUS:85113484375

SN - 9783030816841

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 403

EP - 426

BT - Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings

A2 - Silva, Alexandra

A2 - Leino, K. Rustan

PB - Springer Science and Business Media Deutschland GmbH

T2 - 33rd International Conference on Computer Aided Verification, CAV 2021

Y2 - 20 July 2021 through 23 July 2021

ER -

Checking Data-Race Freedom of GPU Kernels, Compositionally

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this