Search Results - "Şakar, Ömer"

Preserving provability over GPU program optimizations with annotation-aware transformations.

Authors: Şakar, Ömer Safari, Mohsen Huisman, Marieke et al.

Source: Formal Methods in System Design. Dec2025, Vol. 67 Issue 3, p316-372. 57p.

Subjects: Program transformation, Software verification, Optimization algorithms, Parallel programs (Computer programs), Scientific observation