A Program Logic for C11 Memory Fences. - Marko Doko; Viktor Vafeiadis (VMCAI, 2016)

Tackling Real-Life Relaxed Concurrency with FSL++. - Marko Doko; Viktor Vafeiadis (ESOP, 2017)

A Separation Logic for a Promising Semantics. - Kasper Svendsen; Jean Pichon-Pharabod; Marko Doko; Ori Lahav 001; Viktor Vafeiadis (ESOP, 2018)

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. - Azalea Raad; Marko Doko; Lovro Rozic; Ori Lahav 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

Program Logic for Weak Memory Concurrency. - Marko Doko (2021)