Ömer Sakar

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Program Execution

Automatic Annotation

Ad Hoc Retrieval

Signature Verification

Top Venues

Publications

Dré van Oorschot, Marieke Huisman, Ömer Sakar
First Steps towards Deductive Verification of LLVM IR. FASE (2024)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) (2022)