{"data":{"id":"10.4121/16938556","type":"dois","attributes":{"doi":"10.4121/16938556","prefix":"10.4121","suffix":"16938556","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Şakar, Ömer","givenName":"Ömer","familyName":"Şakar","affiliation":["Delft University of Technology"],"nameIdentifiers":[{"schemeUri":"https://orcid.org","nameIdentifier":"https://orcid.org/0000-0003-3457-5446","nameIdentifierScheme":"ORCID"}]},{"name":"Safari, Mohsen","givenName":"Mohsen","familyName":"Safari","affiliation":[],"nameIdentifiers":[]},{"name":"Huisman, Marieke","givenName":"Marieke","familyName":"Huisman","affiliation":["Delft University of Technology"],"nameIdentifiers":[{"schemeUri":"https://orcid.org","nameIdentifier":"https://orcid.org/0000-0003-4467-072X","nameIdentifierScheme":"ORCID"}]},{"name":"Wijs, Anton","givenName":"Anton","familyName":"Wijs","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)"}],"publisher":"4TU.ResearchData","container":{},"publicationYear":2021,"subjects":[{"subject":"Computer Software"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"}],"contributors":[],"dates":[{"date":"2021-11-26","dateType":"Created"},{"date":"2021-11-26","dateType":"Updated"},{"date":"2021-11-22","dateType":"Issued"}],"language":null,"types":{"ris":"COMP","bibtex":"misc","citeproc":"article","schemaOrg":"SoftwareSourceCode","resourceType":"Software","resourceTypeGeneral":"Software"},"relatedIdentifiers":[],"relatedItems":[],"sizes":["201798653 Bytes"],"formats":[],"version":"2","rightsList":[{"rights":"Apache-2.0","rightsUri":"https://www.apache.org/licenses/LICENSE-2.0.html"}],"descriptions":[{"description":"Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer) submitted to TACAS '22 conference. For a full description on how to use the artifact, please see the README.txt file. The artifact contains the Alpinist tool, all its dependencies and documentation for the VerCors tool.\u003cbr\u003e\u003cbr\u003eAbstract of the paper:\u003cbr\u003eGPU programs are widely used in industry. To obtain the best \nperformance, a typical development process involves the manual or \nsemi-automatic application of optimizations prior to compiling the code.\n To avoid the introduction of errors, we can augment GPU programs with \n(pre- and postcondition-style) annotations to capture functional \nproperties. However, keeping these annotations correct when optimizing \nGPU programs is labor-intensive and error-prone.\u003cbr\u003eThis paper \nintroduces Alpinist, an annotation-aware GPU program optimizer. It \napplies frequently-used GPU optimizations, but besides transforming \ncode, it also transforms the annotations. We evaluate Alpinist, in \ncombination with the VerCors program verifier, to automatically optimize\n a collection of verified programs and reverify them.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[{"schemeUri":"https://ror.org","awardTitle":"Mercedes: Maximal Reliability of Concurrent and Distributed Software","funderName":"Dutch Research Council","awardNumber":"639.023.710","funderIdentifier":"https://ror.org/04jsz6e67","funderIdentifierType":"ROR"}],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjQvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40MTIxLzE2OTM4NTU2PC9pZGVudGlmaWVyPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWU+w5ZtZXIgxZ5ha2FyPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT7Dg8KWbWVyPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPsOFwp5ha2FyPC9mYW1pbHlOYW1lPgogICAgICA8bmFtZUlkZW50aWZpZXIgbmFtZUlkZW50aWZpZXJTY2hlbWU9Ik9SQ0lEIiBzY2hlbWVVUkk9Imh0dHBzOi8vb3JjaWQub3JnIj4wMDAwLTAwMDMtMzQ1Ny01NDQ2PC9uYW1lSWRlbnRpZmllcj4KICAgICAgPGFmZmlsaWF0aW9uIGFmZmlsaWF0aW9uSWRlbnRpZmllcj0iaHR0cHM6Ly9yb3Iub3JnLzAyZTJjN2swOSIgYWZmaWxpYXRpb25JZGVudGlmaWVyU2NoZW1lPSJST1IiIHNjaGVtZVVSST0iaHR0cHM6Ly9yb3Iub3JnLyI+RGVsZnQgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5PC9hZmZpbGlhdGlvbj4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWU+TW9oc2VuIFNhZmFyaTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TW9oc2VuPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlNhZmFyaTwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWU+TWFyaWVrZSBIdWlzbWFuPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5NYXJpZWtlPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkh1aXNtYW48L2ZhbWlseU5hbWU+CiAgICAgIDxuYW1lSWRlbnRpZmllciBuYW1lSWRlbnRpZmllclNjaGVtZT0iT1JDSUQiIHNjaGVtZVVSST0iaHR0cHM6Ly9vcmNpZC5vcmciPjAwMDAtMDAwMy00NDY3LTA3Mlg8L25hbWVJZGVudGlmaWVyPgogICAgICA8YWZmaWxpYXRpb24gYWZmaWxpYXRpb25JZGVudGlmaWVyPSJodHRwczovL3Jvci5vcmcvMDJlMmM3azA5IiBhZmZpbGlhdGlvbklkZW50aWZpZXJTY2hlbWU9IlJPUiIgc2NoZW1lVVJJPSJodHRwczovL3Jvci5vcmcvIj5EZWxmdCBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3k8L2FmZmlsaWF0aW9uPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZT5BbnRvbiBXaWpzPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BbnRvbjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5XaWpzPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5BcnRpZmFjdCBmb3IgcGFwZXIgKEFscGluaXN0OiBhbiBBbm5vdGF0aW9uLUF3YXJlIEdQVSBQcm9ncmFtIE9wdGltaXplcik8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+Jmx0O2RpdiZndDtBcnRpZmFjdCBmb3IgcGFwZXIgKEFscGluaXN0OiBhbiBBbm5vdGF0aW9uLUF3YXJlIEdQVSBQcm9ncmFtIE9wdGltaXplcikgc3VibWl0dGVkIHRvIFRBQ0FTICcyMiBjb25mZXJlbmNlLiBGb3IgYSBmdWxsIGRlc2NyaXB0aW9uIG9uIGhvdyB0byB1c2UgdGhlIGFydGlmYWN0LCBwbGVhc2Ugc2VlIHRoZSBSRUFETUUudHh0IGZpbGUuIFRoZSBhcnRpZmFjdCBjb250YWlucyB0aGUgQWxwaW5pc3QgdG9vbCwgYWxsIGl0cyBkZXBlbmRlbmNpZXMgYW5kIGRvY3VtZW50YXRpb24gZm9yIHRoZSBWZXJDb3JzIHRvb2wuJmx0O2JyJmd0OyZsdDsvZGl2Jmd0OyZsdDtkaXYmZ3Q7Jmx0O2JyJmd0OyZsdDsvZGl2Jmd0OyZsdDtkaXYmZ3Q7QWJzdHJhY3Qgb2YgdGhlIHBhcGVyOiZsdDticiZndDsmbHQ7L2RpdiZndDsmbHQ7ZGl2Jmd0O0dQVSBwcm9ncmFtcyBhcmUgd2lkZWx5IHVzZWQgaW4gaW5kdXN0cnkuIFRvIG9idGFpbiB0aGUgYmVzdCAKcGVyZm9ybWFuY2UsIGEgdHlwaWNhbCBkZXZlbG9wbWVudCBwcm9jZXNzIGludm9sdmVzIHRoZSBtYW51YWwgb3IgCnNlbWktYXV0b21hdGljIGFwcGxpY2F0aW9uIG9mIG9wdGltaXphdGlvbnMgcHJpb3IgdG8gY29tcGlsaW5nIHRoZSBjb2RlLgogVG8gYXZvaWQgdGhlIGludHJvZHVjdGlvbiBvZiBlcnJvcnMsIHdlIGNhbiBhdWdtZW50IEdQVSBwcm9ncmFtcyB3aXRoIAoocHJlLSBhbmQgcG9zdGNvbmRpdGlvbi1zdHlsZSkgYW5ub3RhdGlvbnMgdG8gY2FwdHVyZSBmdW5jdGlvbmFsIApwcm9wZXJ0aWVzLiBIb3dldmVyLCBrZWVwaW5nIHRoZXNlIGFubm90YXRpb25zIGNvcnJlY3Qgd2hlbiBvcHRpbWl6aW5nIApHUFUgcHJvZ3JhbXMgaXMgbGFib3ItaW50ZW5zaXZlIGFuZCBlcnJvci1wcm9uZS4mbHQ7YnImZ3Q7VGhpcyBwYXBlciAKaW50cm9kdWNlcyBBbHBpbmlzdCwgYW4gYW5ub3RhdGlvbi1hd2FyZSBHUFUgcHJvZ3JhbSBvcHRpbWl6ZXIuIEl0IAphcHBsaWVzIGZyZXF1ZW50bHktdXNlZCBHUFUgb3B0aW1pemF0aW9ucywgYnV0IGJlc2lkZXMgdHJhbnNmb3JtaW5nIApjb2RlLCBpdCBhbHNvIHRyYW5zZm9ybXMgdGhlIGFubm90YXRpb25zLiBXZSBldmFsdWF0ZSBBbHBpbmlzdCwgaW4gCmNvbWJpbmF0aW9uIHdpdGggdGhlIFZlckNvcnMgcHJvZ3JhbSB2ZXJpZmllciwgdG8gYXV0b21hdGljYWxseSBvcHRpbWl6ZQogYSBjb2xsZWN0aW9uIG9mIHZlcmlmaWVkIHByb2dyYW1zIGFuZCByZXZlcmlmeSB0aGVtLiAgJmx0Oy9kaXYmZ3Q7PC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdD5Db21wdXRlciBTb2Z0d2FyZTwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxwdWJsaXNoZXI+NFRVLlJlc2VhcmNoRGF0YTwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAyMTwvcHVibGljYXRpb25ZZWFyPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJDcmVhdGVkIj4yMDIxLTExLTI2PC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiPjIwMjEtMTEtMjY8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iSXNzdWVkIj4yMDIxLTExLTIyPC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJTb2Z0d2FyZSI+U29mdHdhcmU8L3Jlc291cmNlVHlwZT4KICA8c2l6ZXM+CiAgICA8c2l6ZT4yMDE3OTg2NTMgQnl0ZXM8L3NpemU+CiAgPC9zaXplcz4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwczovL3d3dy5hcGFjaGUub3JnL2xpY2Vuc2VzL0xJQ0VOU0UtMi4wLmh0bWwiPkFwYWNoZS0yLjA8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGZ1bmRpbmdSZWZlcmVuY2VzPgogICAgPGZ1bmRpbmdSZWZlcmVuY2U+CiAgICAgIDxmdW5kZXJOYW1lPkR1dGNoIFJlc2VhcmNoIENvdW5jaWw8L2Z1bmRlck5hbWU+CiAgICAgIDxmdW5kZXJJZGVudGlmaWVyIGZ1bmRlcklkZW50aWZpZXJUeXBlPSJST1IiIHNjaGVtZVVSST0iaHR0cHM6Ly9yb3Iub3JnLyI+aHR0cHM6Ly9yb3Iub3JnLzA0anN6NmU2NzwvZnVuZGVySWRlbnRpZmllcj4KICAgICAgPGF3YXJkTnVtYmVyPjYzOS4wMjMuNzEwPC9hd2FyZE51bWJlcj4KICAgICAgPGF3YXJkVGl0bGU+TWVyY2VkZXM6IE1heGltYWwgUmVsaWFiaWxpdHkgb2YgQ29uY3VycmVudCBhbmQgRGlzdHJpYnV0ZWQgU29mdHdhcmU8L2F3YXJkVGl0bGU+CiAgICA8L2Z1bmRpbmdSZWZlcmVuY2U+CiAgPC9mdW5kaW5nUmVmZXJlbmNlcz4KPC9yZXNvdXJjZT4=","url":"https://data.4tu.nl/articles/software/Artifact_for_paper_Alpinist_an_Annotation-Aware_GPU_Program_Optimizer_/16938556","contentUrl":null,"metadataVersion":11,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2021-11-22T09:50:17.000Z","registered":"2021-11-22T09:50:18.000Z","published":"2021","updated":"2026-03-19T07:01:51.000Z"},"relationships":{"client":{"data":{"id":"delft.data4tu","type":"clients"}},"provider":{"data":{"id":"scpr","type":"providers"}},"media":{"data":{"id":"10.4121/16938556","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}