PhD Thesis Artifact: Correct Optimized GPU Programs

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.本仓库收录了由特文特大学（University of Twente）Marieke Huisman教授（prof.dr.）指导的Mohsen Safari所撰写的博士论文《经正确性保障的优化GPU程序》（Correct Optimized GPU programs）中的全部案例研究与示例代码。