PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vafeiadis, Viktor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.

, , , , und . ECOOP, Volume 74 von LIPIcs, Seite 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Viktor Zaverkin University of Stuttgart

apl. Prof. Dr. Viktor Avrutin University of Stuttgart

V. Zaverkin

 

Weitere Publikationen von Autoren mit dem selben Namen

Automating the Choice of Consistency Levels in Replicated Systems., , , , , und . USENIX Annual Technical Conference, Seite 281-292. USENIX Association, (2014)A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism., und . TASE, Seite 105-112. IEEE Computer Society, (2013)CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency., , , , und . J. ACM, 60 (3): 22:1-22:50 (2013)Aspect-oriented linearizability proofs., , , und . Logical Methods in Computer Science, (2015)Bi-abductive Resource Invariant Synthesis., , und . APLAS, Volume 5904 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2009)Verifying Fence Elimination Optimisations., und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2011)Modular Safety Checking for Fine-Grained Concurrency., , und . SAS, Volume 4634 von Lecture Notes in Computer Science, Seite 233-248. Springer, (2007)A Program Logic for C11 Memory Fences., und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 413-430. Springer, (2016)Validating optimizations of concurrent C/C++ programs., und . CGO, Seite 216-226. ACM, (2016)Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris., , , , und . ECOOP, Volume 74 von LIPIcs, Seite 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)