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
622013
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
European Symposium on Programming Languages and Systems, 710-735, 2015
362015
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
342019
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
332019
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
282019
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
282018
Ludic considerations of tablet-based evo-art
S Colton, M Cook, A Raad
European Conference on the Applications of Evolutionary Computation, 223-233, 2011
192011
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
172019
Hyperstate space graphs for automated game analysis
M Cook, A Raad
2019 IEEE Conference on Games (CoG), 1-8, 2019
132019
DOM: specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
122016
On parallel snapshot isolation and release/acquire consistency
A Raad, O Lahav, V Vafeiadis
European Symposium on Programming, 940-967, 2018
112018
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Asian Symposium on Programming Languages and Systems, 314-334, 2016
112016
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
102019
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
92020
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
52021
On the semantics of snapshot isolation
A Raad, O Lahav, V Vafeiadis
International Conference on Verification, Model Checking, and Abstract …, 2019
42019
Abstract local reasoning for concurrent libraries: mind the gap
P Gardner, A Raad, M Wheelhouse, A Wright
Electronic Notes in Theoretical Computer Science 308, 147-166, 2014
42014
Persistent Owicki-Gries Reasoning
A Raad, O Lahav, V Vafeiadis
Proc. ACM Program. Lang 3, 2020
3*2020
Inferring design constraints from game ruleset analysis
M Cook, S Colton, A Raad
2018 IEEE Conference on Computational Intelligence and Games (CIG), 1-8, 2018
22018
Abstraction, refinement and concurrent reasoning
A Raad
Imperial College London, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20