Marko Doko -

Registered user since Thu 10 Dec 2015

Name:Marko Doko

Affiliation:Heriot-Watt University, UK

Personal website: https://www.macs.hw.ac.uk/~md2021/

Contributions

2019

POPL

Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track

2016

VMCAI

Author of A program logic for C11 memory fences within the VMCAI-track