Alpinist: An Annotation-Aware GPU Program Optimizer

Ömer Şakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

GPU programs are widely used in industry. To obtain the best performance, a typical development process involves the manual or semi-automatic application of optimizations prior to compiling the code. To avoid the introduction of errors, we can augment GPU programs with (pre- and postcondition-style) annotations to capture functional properties. However, keeping these annotations correct when optimizing GPU programs is labor-intensive and error-prone. This paper introduces Alpinist, an annotation-aware GPU program optimizer. It applies frequently-used GPU optimizations, but besides transforming code, it also transforms the annotations. We evaluate Alpinist, in combination with the VerCors program verifier, to automatically optimize a collection of verified programs and reverify them.

Originele taal-2Engels
TitelTools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings
RedacteurenDana Fisman, Grigore Rosu
UitgeverijSpringer
Pagina's332-352
Aantal pagina's21
ISBN van geprinte versie9783030995263
DOI's
StatusGepubliceerd - 2022
Evenement28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022 - Munich, Duitsland
Duur: 2 apr. 20227 apr. 2022

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13244 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022
Land/RegioDuitsland
StadMunich
Periode2/04/227/04/22

Bibliografische nota

Funding Information:
★ This work is supported by NWO grant 639.023.710 for the Mercedes project and by NWO TTW grant 17249 for the ChEOPS project

Publisher Copyright:
© 2022, The Author(s).

Financiering

★ This work is supported by NWO grant 639.023.710 for the Mercedes project and by NWO TTW grant 17249 for the ChEOPS project

Vingerafdruk

Duik in de onderzoeksthema's van 'Alpinist: An Annotation-Aware GPU Program Optimizer'. Samen vormen ze een unieke vingerafdruk.

Citeer dit