Preserving provability over GPU program optimizations with annotation-aware transformations.
Saved in:
| Title: | Preserving provability over GPU program optimizations with annotation-aware transformations. |
|---|---|
| Authors: | Şakar, Ömer1, o.f.o.sakar@utwente.nl, Safari, Mohsen2, mohsen.safari@surf.nl, Huisman, Marieke1, m.huisman@utwente.nl, Wijs, Anton3, a.j.wijs@tue.nl |
| Source: | Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-025-00480-7 |
