Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
Scientific Visualisation
NetCDF & OPeNDAP
FAIR Data Fund
About 4TU.ResearchData
Organisation
Collaboration
Policies & Guidelines
Team & Contact
Frequently Asked Questions
About our Community
Join our community
Community members
Community groups
News & Resources
Latest news
Events
Highlights
Use cases
Fair Data Fund stories
Subscribe to our newsletter
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
usage stats
Totals for datasets (co-)authored by Ömer Şakar
1739
downloads
1654
views
Ömer Şakar
0000-0003-3457-5446
PhD Student
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
