Seuraa
Hannah Zicarelli
Hannah Zicarelli
University of Massachusetts Boston
Vahvistettu sähköpostiosoite verkkotunnuksessa umb.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
Verification of GPU Programs: Evaluation Challenges
H Zicarelli, T Cogumbreiro
2022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3