@phdthesis{Safari2022b,
title = "Correct Optimized GPU Programs",
author = "Mohsen Safari",
year = "2022",
month = apr,
day = "5",
doi = "10.3990/1.9789036553421",
language = "English",
isbn = "978-90-365-5342-1",
series = "DSI Ph.D. thesis series",
publisher = "University of Twente",
number = "22-003",
address = "Netherlands",
school = "University of Twente",
}

{"_id":"Y8AJq95FrbbtH7A8Q","bibbaseid":"safari-correctoptimizedgpuprograms-2022","author_short":["Safari, M."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Correct Optimized GPU Programs","author":[{"firstnames":["Mohsen"],"propositions":[],"lastnames":["Safari"],"suffixes":[]}],"year":"2022","month":"April","day":"5","doi":"10.3990/1.9789036553421","language":"English","isbn":"978-90-365-5342-1","series":"DSI Ph.D. thesis series","publisher":"University of Twente","number":"22-003","address":"Netherlands","school":"University of Twente","bibtex":"@phdthesis{Safari2022b,\ntitle = \"Correct Optimized GPU Programs\",\nauthor = \"Mohsen Safari\",\nyear = \"2022\",\nmonth = apr,\nday = \"5\",\ndoi = \"10.3990/1.9789036553421\",\nlanguage = \"English\",\nisbn = \"978-90-365-5342-1\",\nseries = \"DSI Ph.D. thesis series\",\npublisher = \"University of Twente\",\nnumber = \"22-003\",\naddress = \"Netherlands\",\nschool = \"University of Twente\",\n}\n\n","author_short":["Safari, M."],"key":"Safari2022b","id":"Safari2022b","bibbaseid":"safari-correctoptimizedgpuprograms-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["correct","optimized","gpu","programs","safari"],"title":"Correct Optimized GPU Programs","year":2022}