The journal paper Preserving Provability over GPU Program Optimizations with Annotation-Aware Transformations written by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs has been accepted at the journal Formal Methods in System Design.