ÃÅÃmer Åakar0000-0003-3457-5446PhD Student FollowPublicationsAlpinist: An Annotation-Aware GPU Program OptimizerFirst Steps towards Deductive Verification of LLVM IRAlpinistThe VerCors Verifier: A Progress ReportDeductive Verification of SYCL in VerCorsUsage metrics 0 0 0 Co-workers & collaboratorsMSMohsen SafariAWAnton WijsMHMarieke Huisman
