Follow
Azalea Raad
Title
Cited by
Cited by
Year
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
1012019
Persistency semantics of the Intel-x86 architecture
A Raad, J Wickerson, G Neiger, V Vafeiadis
Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019
932019
Mechanic miner: Reflection-driven game mechanic discovery and level design
M Cook, S Colton, A Raad, J Gow
Applications of Evolutionary Computation: 16th European Conference …, 2013
892013
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O˘Hearn, J Villard
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
812020
Weak persistency semantics from the ground up: Formalising the persistency semantics of ARMv8 and transactional models
A Raad, J Wickerson, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
682019
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
632022
Persistence semantics for weak memory: Integrating epoch persistency with the TSO memory model
A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
512018
On library correctness under weak memory consistency: Specifying and verifying concurrent libraries under declarative consistency models
A Raad, M Doko, L Rožić, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
472019
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
442015
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8
K Cho, SH Lee, A Raad, J Kang
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
362021
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86
A Raad, O Lahav, V Vafeiadis
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
302020
View-based Owicki–Gries reasoning for persistent x86-TSO
EV Bila, B Dongol, O Lahav, A Raad, J Wickerson
European Symposium on Programming, 234-261, 2022
292022
Concurrent incorrectness separation logic
A Raad, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
262022
Ludic considerations of tablet-based evo-art
S Colton, M Cook, A Raad
Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET …, 2011
262011
On parallel snapshot isolation and release/acquire consistency
A Raad, O Lahav, V Vafeiadis
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
242018
PerSeVerE: Persistency semantics for verification under ext4
M Kokologiannakis, I Kaysin, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
232021
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores
A Raad, L Maranget, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
222022
Effective lock handling in stateless model checking
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-26, 2019
212019
Hyperstate space graphs for automated game analysis
M Cook, A Raad
2019 IEEE Conference on Games (CoG), 1-8, 2019
202019
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
182016
The system can't perform the operation now. Try again later.
Articles 1–20