Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marko Doko
conf.researchr.org general profile
POPL 2016 profile
POPL 2019 profile
POPL 2025 profile
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
2025
CoqPL
Author of CoqNFU: Towards Formalizing NFU in Coq within the CoqPL 2025-track
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
Share
x
Sat 17 May 11:00
