Marko Doko
Contact
- Email:
- Office:
- EM 1.34 (Earl Mountbatten Building, Edinburgh Campus)
- Address:
- School of Mathematical & Computer Sciences
Heriot-Watt University
EH14 4AS Edinburgh
United Kingdom
About
I am an assistant professor in the Computer Science Department at the School of Mathematical and Computer Sciences of Heriot-Watt University in Edinburgh.
Before joining HWU, I completed my PhD at Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, advised by Viktor Vafeiadis.
If you want to know more, check my CV.
Publications
-
On library correctness under weak memory consistency
with Azalea Raad,
Lovro Rožić,
Ori Lahav, and
Viktor Vafeiadis.
POPL 2019
[paper] [technical appendix] [project page] - Rearranging absolutely convergent well-ordered series in Banach spaces
with Vedran Čačić and
Marko Horvat.
Rad HAZU, Vol 23. (2019)
[paper] -
A separation logic for a promising semantics
with Kasper Svendsen,
Jean Pichon-Pharabod,
Ori Lahav, and
Viktor Vafeiadis.
ESOP 2018
[paper] [technical appendix] -
Tackling Real-Life Relaxed Concurrency with FSL++
with Viktor Vafeiadis.
ESOP 2017
[paper] [project page] -
A Program Logic for C11 Memory Fences
with Viktor Vafeiadis.
VMCAI 2016
[paper] [project page]
Thesis: Program Logic for Weak Memory Concurrency (2021)