Usage statistics

Totals for datasets (co-)authored by Ömer Şakar

Datasets

• Artifact for Paper: (Deductive verification of SYCL in VerCors)
• Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
• Artifact for paper (First Steps towards Deductive Verification of LLVM IR)
• Artifact to supplement the paper: The VerCors Verifier: a Progress Report

Co-authors

Co-authors of Ömer Şakar's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Anton Wijs
• Dré van Oorschot
• Ellen Wittingen
• Lars van den Haak
• Lukas Armborst
• Marieke Huisman
• Mohsen Safari
• Philip Tasche
• Pieter Bos
• Robert Rubbens