Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
15
15
h-index
3
3
i10-index
0
0
0
8
4
2021
2022
2023
2024
2
2
7
4
Offentlig åtkomst
Visa alla
Visa alla
1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Dennis Liew
Andra namn
Dennis Liew Zhen Rong, Liew Zhen Rong
University of Massachusetts Boston
Verifierad e-postadress på umb.edu -
Startsida
Software Verification
Programming Languages
Formal Methods
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
8
2021
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
4
2023
Provable GPU data-races in static race detection
D Liew, T Cogumbreiro, J Lange
arXiv preprint arXiv:2203.12878
, 2022
3
2022
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen