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

Volltext

Bug Detection at Scale: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification von Raad, Azalea

Volltext

Hyperstate Space Graphs von Cook, Michael, Raad, Azalea

Volltext

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

Volltext

Non-termination Proving at Scale von Raad, Azalea, Vanegue, Julien, O’Hearn, Peter

Volltext

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

Volltext

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

Volltext

Concurrent incorrectness separation logic von Raad, Azalea, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

Volltext

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

Volltext

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

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

Volltext

Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model von Raad, Azalea, Vafeiadis, Viktor

Volltext

Finding real bugs in big programs with incorrectness logic von Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

Volltext

Memento: A Framework for Detectable Recoverability in Persistent Memory von Cho, Kyeongmin, Jeon, Seungmin, Raad, Azalea, Kang, Jeehoon

Volltext

PerSeVerE: persistency semantics for verification under ext4 von Kokologiannakis, Michalis, Kaysin, Ilya, Raad, Azalea, Vafeiadis, Viktor

Volltext

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures von Ambal, Guillaume, Dongol, Brijesh, Eran, Haggai, Klimis, Vasileios, Lahav, Ori, Raad, Azalea

Volltext

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models von Raad, Azalea, Doko, Marko, Rožić, Lovro, Lahav, Ori, Vafeiadis, Viktor

Volltext

Abstraction, refinement and concurrent reasoning von Raad, Azalea

Volltext bestellen

On the Semantics of Snapshot Isolation von Raad, Azalea, Lahav, Ori, Vafeiadis, Viktor

Volltext

CoLoSL: Concurrent Local Subjective Logic von Raad, Azalea, Villard, Jules, Gardner, Philippa

Volltext