Browsing by Author Raad, A
Showing results 16 to 18 of 18
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 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; |