Ömer Şakar

Publications

[8]Ömer Şakar, Mohsen Safari, Marieke Huisman, and Anton Wijs. Preserving provability over GPU program optimizations with annotation-aware transformations. Formal Methods in System Design, pages 1--57, 2025. [ DOI |  http ]
[7]Ellen Wittingen, Marieke Huisman, and Ömer Şakar. Deductive Verification of SYCL in VerCors. In International Conference on Software Engineering and Formal Methods, pages 182--199. Springer, 2024. [ DOI |  http |  artifact ]
[6]Lukas Armborst, Pieter Bos, Lars B van den Haak, Marieke Huisman, Robert Rubbens, Ömer Şakar, and Philip Tasche. The VerCors verifier: a progress report. In International Conference on Computer Aided Verification, pages 3--18. Springer, 2024. [ DOI |  http |  artifact ]
[5]Dré van Oorschot, Marieke Huisman, and Ömer Şakar. First Steps towards Deductive Verification of LLVM IR. In International Conference on Fundamental Approaches to Software Engineering, pages 290--303. Springer, 2024. [ DOI |  http |  artifact ]
[4]Ömer Şakar, Mohsen Safari, Marieke Huisman, and Anton Wijs. Alpinist: an Annotation-Aware GPU Program. In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2--7, 2022, Proceedings, volume 13244, pages 332--352. Springer Nature, 2022. [ DOI |  http |  artifact |  slides ]
[2]Ömer Şakar. Extending Support for Axiomatic Data Types in VerCors. Master's thesis, University of Twente, 2020. [ .pdf |  http |  slides ]
[1]Ömer Şakar. Correlating the 2012 Dutch House of Representatives Elections based on Twitter mentions of Parties and their Party Leader. 2017. [ .pdf ]

This file was generated by bibtex2html 1.99.

Presentations