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 16 to 18 of 18 < previous 
Issue DateTitleAuthor(s)
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;