Collaborated with:V.Vafeiadis O.Lahav K.Svendsen J.Pichon-Pharabod A.Raad Lovro Rozic
Talks about:librari (2) consist (2) concurr (2) under (2) specifi (1) correct (1) verifi (1) semant (1) promis (1) memori (1)
Person: Marko Doko
DBLP: Doko:Marko
Contributed to:
20172018
2019Wrote 3 papers:
- ESOP-2017-DokoV #concurrent
- Tackling Real-Life Relaxed Concurrency with FSL++ (MD, VV), pp. 448–475.
- ESOP-2018-SvendsenPDLV #logic #semantics
- A Separation Logic for a Promising Semantics (KS, JPP, MD, OL, VV), pp. 357–384.
- POPL-2019-RaadDRLV #concurrent #consistency #correctness #declarative #library #memory management #modelling #on the #specification #verification
- On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.