mer Sakar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | FASE | First Steps towards Deductive Verification of LLVM IR. | Dr van Oorschot, Marieke Huisman, mer Sakar |
| 2024 | SEFM | Deductive Verification of SYCL in VerCors. | Ellen Wittingen, Marieke Huisman, mer Sakar |
| 2022 | TACAS | Alpinist: An Annotation-Aware GPU Program Optimizer. | mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs |