PhD Thesis Artifact: Correct Optimized GPU Programs

doi: 10.4121/19055453.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/19055453
Datacite citation style:
Mohsen Safari (2022): PhD Thesis Artifact: Correct Optimized GPU Programs. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/19055453.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
University of Twente logo
usage stats
1038
views
125
downloads
categories
licence
cc-0.png logo CC0
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.
history
  • 2022-01-31 first online, published, posted
publisher
4TU.ResearchData
format
The Gzipped Tar File (TGZ)
associated peer-reviewed publication
Correct Optimized GPU Programs
funding
  • NWO grant 639.023.710
organizations
University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools (FMT) research group

DATA

files (1)