Ömer Sakar

According to our database, Ömer Sakar authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

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