Showing results 10 to 18 of 18
< previous
| Issue Date | Title | Author(s) |
| 2-Jan-2019 | On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models | Raad, A; Doko, M; Rozic, L; Lahav, O; Vafeiadis, V |
| 11-Jan-2019 | On the semantics of snapshot isolation | Raad, A; Lahav, O; Vafeiadis, V; Enea, C; Piskac, R |
| Jan-2021 | PerSeVerE: persistency semantics for verification under ext4. | Kokologiannakis, M; Kaysin, I; Raad, A; Vafeiadis, V |
| 1-Nov-2018 | Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. | Raad, A; Vafeiadis, V |
| 1-Jan-2020 | Persistency semantics of the Intel-x86 architecture | Raad, A; Wickerson, J; Neiger, G; Vafeiadis, V; |
| 13-Nov-2020 | Persistent owicki-gries reasoning: a program logic for reasoning about persistent programs on Intel-x86 | Raad, A; Lahav, O; Vafeiadis, V |
| 9-Oct-2016 | Verifying concurrent graph algorithms | Raad, A; Hobor, A; Villard, J; Gardner, P; , et al |
| - | View-based Owicki-Gries reasoning for persistent x86-TSO | Bila, E; Dongol, B; Lahav, O; Raad, A; Wickerson, J, et al |
| 10-Oct-2019 | Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models | Raad, A; Wickerson, J; Vafeiadis, V; |