ÃÅÃmer Åakar0000-0003-3457-5446PhD Student FollowPublicationsAlpinist: An Annotation-Aware GPU Program OptimizerFirst Steps towards Deductive Verification of LLVM IRUsage metrics Co-workers & collaboratorsMSMohsen SafariMohsen SafariAWAnton WijsAnton WijsMHMarieke HuismanMarieke Huisman