Ömer Sakar

According to our database, Ömer Sakar authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version).

Ömer Sakar, Soham Chakraborty, Marieke Huisman, Anton Wijs

CoRR, April, 2026

Predicate Subtypes in VerCors.

Tycho Dubbeling, Marieke Huisman, Ömer Sakar

CoRR, April, 2026

2025

Preserving provability over GPU program optimizations with annotation-aware transformations.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Formal Methods Syst. Des., December, 2025

2024

Deductive Verification of SYCL in VerCors.

Ellen Wittingen, Marieke Huisman, Ömer Sakar

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

First Steps towards Deductive Verification of LLVM IR.

Dré van Oorschot, Marieke Huisman, Ömer Sakar

Proceedings of the Fundamental Approaches to Software Engineering, 2024

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Alpinist: An Annotation-Aware GPU Program Optimizer.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer).

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Dataset, November, 2021

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer).

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Dataset, November, 2021