Marko Doko

Orcid: 0000-0001-6573-8346

According to our database¹, Marko Doko authored at least 5 papers between 2016 and 2021.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Program Logic for Weak Memory Concurrency.

[BibT_eX]

[DOI]

Marko Doko

PhD thesis, 2021

2019

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

2018

A Separation Logic for a Promising Semantics.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2018

2017

Tackling Real-Life Relaxed Concurrency with FSL++.

[BibT_eX]

[DOI]

Marko Doko

Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2017

2016

A Program Logic for C11 Memory Fences.

[BibT_eX]

[DOI]

Marko Doko

Viktor Vafeiadis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Marko Doko

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...