{"data":{"id":"10.4121/19055453","type":"dois","attributes":{"doi":"10.4121/19055453","prefix":"10.4121","suffix":"19055453","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Safari, Mohsen","nameType":"Personal","givenName":"Mohsen","familyName":"Safari","nameIdentifiers":[{"nameIdentifier":"0000-0003-0839-3251","nameIdentifierScheme":"https://orcid.org/"}],"affiliation":[]}],"titles":[{"title":"PhD Thesis Artifact: Correct Optimized GPU Programs"}],"publisher":"4TU.ResearchData","container":{},"publicationYear":2022,"subjects":[{"subject":"Computer Software","subjectScheme":"Australian and New Zealand Standard Research Classification (ANZSRC), 2008","classificationCode":"0803"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"PhD artifact"},{"subject":"Correct optimized GPU programs"},{"subject":"Deductive program verification"}],"contributors":[{"name":"University Of Twente, Faculty Of Electrical Engineering, Mathematics And Computer Science, Formal Methods And Tools (FMT) Research Group","nameType":"Organizational","affiliation":[],"contributorType":"Other","nameIdentifiers":[]}],"dates":[{"date":"2022-01-31","dateType":"Issued"}],"language":null,"types":{"ris":"DATA","bibtex":"misc","citeproc":"dataset","schemaOrg":"Dataset","resourceType":"Dataset","resourceTypeGeneral":"Dataset"},"relatedIdentifiers":[{"relationType":"IsSupplementTo","relatedIdentifier":"10.3990/1.9789036553421","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":["The Gzipped Tar File (TGZ)"],"version":"1","rightsList":[{"rights":"Creative Commons Zero v1.0 Universal","rightsUri":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc0-1.0","rightsIdentifierScheme":"SPDX"}],"descriptions":[{"description":"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.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[{"awardTitle":"NWO grant 639.023.710","funderName":"unknown"}],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjQvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40MTIxLzE5MDU1NDUzPC9pZGVudGlmaWVyPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5Nb2hzZW4gU2FmYXJpPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Nb2hzZW48L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+U2FmYXJpPC9mYW1pbHlOYW1lPgogICAgICA8bmFtZUlkZW50aWZpZXIgbmFtZUlkZW50aWZpZXJTY2hlbWU9Imh0dHBzOi8vb3JjaWQub3JnLyI+MDAwMC0wMDAzLTA4MzktMzI1MTwvbmFtZUlkZW50aWZpZXI+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPlBoRCBUaGVzaXMgQXJ0aWZhY3Q6IENvcnJlY3QgT3B0aW1pemVkIEdQVSBQcm9ncmFtczwvdGl0bGU+CiAgPC90aXRsZXM+CiAgPHB1Ymxpc2hlcj40VFUuUmVzZWFyY2hEYXRhPC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDIyPC9wdWJsaWNhdGlvblllYXI+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJEYXRhc2V0Ij5EYXRhc2V0PC9yZXNvdXJjZVR5cGU+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iQXVzdHJhbGlhbiBhbmQgTmV3IFplYWxhbmQgU3RhbmRhcmQgUmVzZWFyY2ggQ2xhc3NpZmljYXRpb24gKEFOWlNSQyksIDIwMDgiIGNsYXNzaWZpY2F0aW9uQ29kZT0iMDgwMyI+Q29tcHV0ZXIgU29mdHdhcmU8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5QaEQgYXJ0aWZhY3Q8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5Db3JyZWN0IG9wdGltaXplZCBHUFUgcHJvZ3JhbXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5EZWR1Y3RpdmUgcHJvZ3JhbSB2ZXJpZmljYXRpb248L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8Y29udHJpYnV0b3JzPgogICAgPGNvbnRyaWJ1dG9yIGNvbnRyaWJ1dG9yVHlwZT0iT3RoZXIiPgogICAgICA8Y29udHJpYnV0b3JOYW1lIG5hbWVUeXBlPSJPcmdhbml6YXRpb25hbCI+VW5pdmVyc2l0eSBvZiBUd2VudGUsIEZhY3VsdHkgb2YgRWxlY3RyaWNhbCBFbmdpbmVlcmluZywgTWF0aGVtYXRpY3MgYW5kIENvbXB1dGVyIFNjaWVuY2UsIEZvcm1hbCBNZXRob2RzIGFuZCBUb29scyAoRk1UKSByZXNlYXJjaCBncm91cDwvY29udHJpYnV0b3JOYW1lPgogICAgPC9jb250cmlidXRvcj4KICA8L2NvbnRyaWJ1dG9ycz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iSXNzdWVkIj4yMDIyLTAxLTMxPC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlbGF0ZWRJZGVudGlmaWVycz4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IkRPSSIgcmVsYXRpb25UeXBlPSJJc1N1cHBsZW1lbnRUbyI+MTAuMzk5MC8xLjk3ODkwMzY1NTM0MjE8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDxmb3JtYXRzPgogICAgPGZvcm1hdD5UaGUgR3ppcHBlZCBUYXIgRmlsZSAoVEdaKTwvZm9ybWF0PgogIDwvZm9ybWF0cz4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHBzOi8vY3JlYXRpdmVjb21tb25zLm9yZy9wdWJsaWNkb21haW4vemVyby8xLjAvIj5DQzA8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5UaGlzIHJlcG9zaXRvcnkgY29udGFpbnMgYWxsIHRoZSBjYXNlIHN0dWRpZXMgYW5kIGV4YW1wbGVzIGluIHRoZSBQaEQgdGhlc2lzIHRpdGxlZCAiQ29ycmVjdCBPcHRpbWl6ZWQgR1BVIHByb2dyYW1zIiB3cml0dGVuIGJ5IE1vaHNlbiBTYWZhcmkgdW5kZXIgdGhlIHN1cGVydmlzaW9uIG9mIHByb2YuZHIuIE1hcmlla2UgSHVpc21hbiBmcm9tIHRoZSBVbml2ZXJzaXR5IG9mIFR3ZW50ZS48L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgogIDxmdW5kaW5nUmVmZXJlbmNlcz4KICAgIDxmdW5kaW5nUmVmZXJlbmNlPgogICAgICA8ZnVuZGVyTmFtZT51bmtub3duPC9mdW5kZXJOYW1lPgogICAgICA8YXdhcmRUaXRsZT5OV08gZ3JhbnQgNjM5LjAyMy43MTA8L2F3YXJkVGl0bGU+CiAgICA8L2Z1bmRpbmdSZWZlcmVuY2U+CiAgPC9mdW5kaW5nUmVmZXJlbmNlcz4KPC9yZXNvdXJjZT4=","url":"https://data.4tu.nl/articles/_/19055453","contentUrl":null,"metadataVersion":4,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":1,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-01-31T13:33:08.000Z","registered":"2022-01-31T13:33:09.000Z","published":"2022","updated":"2022-08-30T13:55:07.000Z"},"relationships":{"client":{"data":{"id":"delft.data4tu","type":"clients"}},"provider":{"data":{"id":"scpr","type":"providers"}},"media":{"data":{"id":"10.4121/19055453","type":"media"}},"references":{"data":[{"id":"10.3990/1.9789036553421","type":"dois"}]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}