| Issue Date | Title | Author(s) |
| 1-Jan-2014 | Abstract Local Reasoning for Concurrent Libraries: Mind the Gap | Gardner, P; Raad, A; Wheelhouse, M; Wright, A |
| 11-Apr-2015 | CoLoSL: Concurrent Local Subjective Logic | Gardner, PA; Raad, A; Villard, J |
| 16-Jan-2022 | Concurrent incorrectness separation logic | Raad, A; Berdine, J; Dreyer, D; O'Hearn, PW; |
| - | Data Consistency in Transactional Storage Systems: a Centralised Approach | Xiong, S; Cerone, A; Raad, A; Gardner, P; , et al |
| 4-Oct-2019 | Data consistency in transactional storage systems: a centralised approach. | Xiong, S; Cerone, A; Raad, A; Gardner, P |
| 9-Oct-2016 | DOM: Specification and Client Reasoning | Raad, A; Fragoso Santos, J; Gardner, P; , et al |
| 1-Oct-2019 | Effective lock handling in stateless model checking. | Kokologiannakis, M; Raad, A; Vafeiadis, V |
| 16-Jan-2022 | Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores | Raad, A; Maranget, L; Vafeiadis, V; |
| 29-Apr-2022 | Finding real bugs in big programs with incorrectness logic | Le, QL; Raad, A; Villard, J; Berdine, J; Dreyer, D, et al |
| 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 |
| 29-Mar-2022 | 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; |