Items where Author is "Doko, Marko"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Doko, Marko and Vafeiadis, Viktor
(2017) Tackling Real-Life Relaxed Concurrency with FSL++.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: ESOP - European Symposium on Programming

Doko, Marko and Vafeiadis, Viktor
(2016) A Program Logic for C11 Memory Fences.
In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings.
Conference: None | Not Set

This list was generated on Sat Mar 28 00:04:13 2020 CET.