Browsing by Author Raad, A

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 18 of 18
Issue DateTitleAuthor(s)
1-Jan-2014Abstract Local Reasoning for Concurrent Libraries: Mind the GapGardner, P; Raad, A; Wheelhouse, M; Wright, A
11-Apr-2015CoLoSL: Concurrent Local Subjective LogicGardner, PA; Raad, A; Villard, J
16-Jan-2022Concurrent incorrectness separation logicRaad, A; Berdine, J; Dreyer, D; O'Hearn, PW;
-Data Consistency in Transactional Storage Systems: a Centralised ApproachXiong, S; Cerone, A; Raad, A; Gardner, P; , et al
4-Oct-2019Data consistency in transactional storage systems: a centralised approach.Xiong, S; Cerone, A; Raad, A; Gardner, P
9-Oct-2016DOM: Specification and Client ReasoningRaad, A; Fragoso Santos, J; Gardner, P; , et al
1-Oct-2019Effective lock handling in stateless model checking.Kokologiannakis, M; Raad, A; Vafeiadis, V
16-Jan-2022Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal storesRaad, A; Maranget, L; Vafeiadis, V;
29-Apr-2022Finding real bugs in big programs with incorrectness logicLe, QL; Raad, A; Villard, J; Berdine, J; Dreyer, D, et al
2-Jan-2019On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency modelsRaad, A; Doko, M; Rozic, L; Lahav, O; Vafeiadis, V
11-Jan-2019On the semantics of snapshot isolationRaad, A; Lahav, O; Vafeiadis, V; Enea, C; Piskac, R
Jan-2021PerSeVerE: persistency semantics for verification under ext4.Kokologiannakis, M; Kaysin, I; Raad, A; Vafeiadis, V
1-Nov-2018Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model.Raad, A; Vafeiadis, V
1-Jan-2020Persistency semantics of the Intel-x86 architectureRaad, A; Wickerson, J; Neiger, G; Vafeiadis, V;
13-Nov-2020Persistent owicki-gries reasoning: a program logic for reasoning about persistent programs on Intel-x86Raad, A; Lahav, O; Vafeiadis, V
9-Oct-2016Verifying concurrent graph algorithmsRaad, A; Hobor, A; Villard, J; Gardner, P; , et al
-View-based Owicki-Gries reasoning for persistent x86-TSOBila, E; Dongol, B; Lahav, O; Raad, A; Wickerson, J, et al
10-Oct-2019Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional modelsRaad, A; Wickerson, J; Vafeiadis, V;