PhD Thesis Artifact: Correct Optimized GPU Programs

dataset

posted on 2022-01-31, 13:33 authored by Mohsen SafariMohsen Safari

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.

Funding

NWO grant 639.023.710

History

Publisher

4TU.ResearchData

Format

The Gzipped Tar File (TGZ)

Organizations

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools (FMT) research group

Usage metrics

Keywords

PhD artifact Correct optimized GPU programs Deductive program verification Computer Software

Licence

CC0