PhD Thesis Artifact: Correct Optimized GPU Programs

DOI:10.4121/19055453.v1
The DOI displayed 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

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)