Follow
Azalea Raad
Title
Cited by
Cited by
Year
Mechanic miner: Reflection-driven game mechanic discovery and level design
M Cook, S Colton, A Raad, J Gow
European Conference on the Applications of Evolutionary Computation, 284-293, 2013
692013
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
512019
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
502019
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
European Symposium on Programming Languages and Systems, 710-735, 2015
422015
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
412019
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
362018
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
262019
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
International Conference on Computer Aided Verification, 225-252, 2020
252020
Ludic considerations of tablet-based evo-art
S Colton, M Cook, A Raad
European Conference on the Applications of Evolutionary Computation, 223-233, 2011
222011
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
162019
On parallel snapshot isolation and release/acquire consistency
A Raad, O Lahav, V Vafeiadis
European Symposium on Programming, 940-967, 2018
152018
Hyperstate space graphs for automated game analysis
M Cook, A Raad
2019 IEEE Conference on Games (CoG), 1-8, 2019
142019
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
13*2020
DOM: specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
132016
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Asian Symposium on Programming Languages and Systems, 314-334, 2016
132016
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
112021
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
112021
On the semantics of snapshot isolation
A Raad, O Lahav, V Vafeiadis
International Conference on Verification, Model Checking, and Abstract …, 2019
62019
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
32022
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
32022
The system can't perform the operation now. Try again later.
Articles 1–20