Alpinist: An Annotation-Aware GPU Program Optimizer. - Ömer Sakar; Mohsen Safari; Marieke Huisman; Anton Wijs (TACAS (2), 2022)

The VerCors Verifier: A Progress Report. - Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Ömer Sakar; Philip Tasche (CAV (2), 2024)

First Steps towards Deductive Verification of LLVM IR. - Dré van Oorschot; Marieke Huisman; Ömer Sakar (FASE, 2024)

Deductive Verification of SYCL in VerCors. - Ellen Wittingen; Marieke Huisman; Ömer Sakar (SEFM, 2024)