cff-version: 1.2.0 abstract: "This repository contains all the case studies and examples in the PhD thesis titled "Correct Optimized GPU programs" written by Mohsen Safari under the supervision of prof.dr. Marieke Huisman from the University of Twente." authors: - family-names: Safari given-names: Mohsen orcid: "https://orcid.org/0000-0003-0839-3251" title: "PhD Thesis Artifact: Correct Optimized GPU Programs" keywords: version: 1 identifiers: - type: doi value: 10.4121/19055453.v1 license: CC0 date-released: 2022-01-31