Azalea Raad
TítuloCitado porAño
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
552013
Colosl: Concurrent local subjective logic
A Raad, J Villard, P Gardner
European Symposium on Programming Languages and Systems, 710-735, 2015
242015
Ludic considerations of tablet-based evo-art
S Colton, M Cook, A Raad
European Conference on the Applications of Evolutionary Computation, 223-233, 2011
172011
On parallel snapshot isolation and release/acquire consistency
A Raad, O Lahav, V Vafeiadis
European Symposium on Programming, 940-967, 2018
82018
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), 137, 2018
72018
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Asian Symposium on Programming Languages and Systems, 314-334, 2016
72016
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), 68, 2019
62019
Dom: Specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
62016
On the Semantics of Snapshot Isolation
A Raad, O Lahav, V Vafeiadis
International Conference on Verification, Model Checking, and Abstract …, 2019
32019
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
32014
Model checking for weakly consistent libraries
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
22019
Abstract Local Reasoning for Concurrent Libraries
P Gardner, A Raad, M Wheelhouse, A Wright
Electronic Notes in Theoretical Computer Science (ENTCS) 308 (C), 147-166, 2014
22014
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), 135, 2019
12019
Effective lock handling in stateless model checking
M Kokologiannakis, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 173, 2019
12019
Hyperstate Space Graphs For Automated Game Analysis
M Cook, A Raad
2019 IEEE Conference on Games (CoG), 1-8, 2019
12019
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
12018
Abstraction, refinement and concurrent reasoning
A Raad
Imperial College London, 2016
12016
Data Consistency in Transactional Storage Systems: a Centralised Approach
S Xiong, A Cerone, A Raad, P Gardner
arXiv preprint arXiv:1901.10615, 2019
2019
Weak Persistency Semantics from the Ground Up
A RAAD, J WICKERSON, V VAFEIADIS
2019
On Library Correctness under Weak Memory Consistency
A RAAD, M DOKO, L ROŽIĆ, ORI LAHAV, V VAFEIADIS
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20