The paper Alpinist: an Annotation-Aware GPU Program Optimizer by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs, was accepted at the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022).