Treffer 1 - 20 von 99 für Suche 'Vafeiadis, Viktor', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    Effective stateless model checking for C/C++ concurrency

    Effective stateless model checking for C/C++ concurrency von Kokologiannakis, Michalis, Lahav, Ori, Sagonas, Konstantinos, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Persistency semantics of the Intel-x86 architecture

    Persistency semantics of the Intel-x86 architecture von Raad, Azalea, Wickerson, John, Neiger, Gil, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Grounding thin-air reads with event structures

    Grounding thin-air reads with event structures von Chakraborty, Soham, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Aspect-oriented linearizability proofs

    Aspect-oriented linearizability proofs von Chakraborty, Soham, Henzinger, Thomas A., Sezgin, Ali, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Concurrent Separation Logic and Operational Semantics

    Concurrent Separation Logic and Operational Semantics von Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Owicki-Gries Reasoning for Weak Memory Models

    Owicki-Gries Reasoning for Weak Memory Models von Lahav, Ori, Vafeiadis, Viktor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models

    Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models von Raad, Azalea, Wickerson, John, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Bridging the gap between programming languages and hardware weak memory models

    Bridging the gap between programming languages and hardware weak memory models von Podkopaev, Anton, Lahav, Ori, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    SPORE: Combining Symmetry and Partial Order Reduction

    SPORE: Combining Symmetry and Partial Order Reduction von Kokologiannakis, Michalis, Marmanis, Iason, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Kater: Automating Weak Memory Model Metatheory and Consistency Checking

    Kater: Automating Weak Memory Model Metatheory and Consistency Checking von Kokologiannakis, Michalis, Lahav, Ori, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Shape-Value Abstraction for Verifying Linearizability

    Shape-Value Abstraction for Verifying Linearizability von Vafeiadis, Viktor


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86

    Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86 von Raad, Azalea, Lahav, Ori, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Truly stateless, optimal dynamic partial order reduction

    Truly stateless, optimal dynamic partial order reduction von Kokologiannakis, Michalis, Marmanis, Iason, Gladstein, Vladimir, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    The Path to Durable Linearizability

    The Path to Durable Linearizability von D'Osualdo, Emanuele, Raad, Azalea, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Effective lock handling in stateless model checking

    Effective lock handling in stateless model checking von Kokologiannakis, Michalis, Raad, Azalea, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores

    Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores von Raad, Azalea, Maranget, Luc, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Reasoning under Release-Acquire Consistency: Invited Presentation at the Sixth International Symposium on Games, Automata, Logics and Formal Verification

    Reasoning under Release-Acquire Consistency: Invited Presentation at the Sixth International Symposium on Games, Automata, Logics and Formal Verification von Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Model checking for a multi-execution memory model

    Model checking for a multi-execution memory model von Moiseenko, Evgenii, Kokologiannakis, Michalis, Vafeiadis, Viktor


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    SMT-Based Verification of Persistency Invariants of Px86 Programs

    SMT-Based Verification of Persistency Invariants of Px86 Programs von Marmanis, Iason, Vafeiadis, Viktor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Extending the C/C++ Memory Model with Inline Assembly

    Extending the C/C++ Memory Model with Inline Assembly von de Vilhena, Paulo Emílio, Lahav, Ori, Vafeiadis, Viktor, Raad, Azalea


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: