Folgen
Dennis Liew
Dennis Liew
Sonstige NamenDennis Liew Zhen Rong, Liew Zhen Rong
University of Massachusetts Boston
Bestätigte E-Mail-Adresse bei umb.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Checking data-race freedom of gpu kernels, compositionally
T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli
International Conference on Computer Aided Verification, 403-426, 2021
82021
Memory access protocols: certified data-race freedom for GPU kernels
T Cogumbreiro, J Lange, D Liew, H Zicarelli
Formal Methods in System Design, 1-38, 2023
42023
Provable GPU data-races in static race detection
D Liew, T Cogumbreiro, J Lange
arXiv preprint arXiv:2203.12878, 2022
32022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3