( en | de | ru )

 

Disambiguierung von "Vafeiadis, Viktor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Persistency semantics of the Intel-x86 architecture.

, , , und . Proc. ACM Program. Lang., 4 (POPL): 11:1-11:31 (2020)

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 Vafeiadis

Viktor Geringer

Viktor Magdolen

Viktor Krozer

Viktor Malec

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking for weakly consistent libraries., , und . PLDI, Seite 96-110. ACM, (2019)Unblocking Dynamic Partial Order Reduction., , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 230-250. Springer, (2023)Optimal Bounded Partial Order Reduction., und . FMCAD, Seite 86-91. IEEE, (2023)Extending GenMC's Usability and Performance (Replication Package)., , und . (Oktober 2023)Persistency semantics of the Intel-x86 architecture., , , und . Proc. ACM Program. Lang., 4 (POPL): 11:1-11:31 (2020)Kater: Automating Weak Memory Model Metatheory and Consistency Checking., , und . Proc. ACM Program. Lang., 7 (POPL): 544-572 (Januar 2023)SMT-Based Verification of Persistency Invariants of Px86 Programs., und . VSTTE, Volume 13800 von Lecture Notes in Computer Science, Seite 92-110. Springer, (2022)On the Semantics of Snapshot Isolation., , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 1-23. Springer, (2019)Reconciling Preemption Bounding with DPOR., , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 85-104. Springer, (2023)Enhancing GenMC's Usability and Performance., , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 66-84. Springer, (2024)