Marko Doko

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Sound And Complete Axiomatization

Declarative Semantics

Truth Maintenance Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis
A Separation Logic for a Promising Semantics. ESOP (2018)
Marko Doko, Viktor Vafeiadis
Tackling Real-Life Relaxed Concurrency with FSL++. ESOP (2017)
Marko Doko, Viktor Vafeiadis
A Program Logic for C11 Memory Fences. VMCAI (2016)