| Model checking for weakly consistent libraries M Kokologiannakis, A Raad, V Vafeiadis Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 85 | 2019 |
| 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 | 77 | 2013 |
| 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 | 69 | 2019 |
| 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 | 57 | 2020 |
| 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 | 53 | 2019 |
| 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 | 44 | 2018 |
| Colosl: Concurrent local subjective logic A Raad, J Villard, P Gardner Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 41 | 2015 |
| 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 | 39 | 2019 |
| 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 | 31 | 2022 |
| Ludic considerations of tablet-based evo-art S Colton, M Cook, A Raad Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET …, 2011 | 25 | 2011 |
| 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 | 21 | 2021 |
| 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 | 21 | 2020 |
| 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 | 20 | 2019 |
| 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 | 19 | 2022 |
| On parallel snapshot isolation and release/acquire consistency A Raad, O Lahav, V Vafeiadis Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 18 | 2018 |
| 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 | 17 | 2022 |
| 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 | 16 | 2021 |
| Hyperstate space graphs for automated game analysis M Cook, A Raad 2019 IEEE Conference on Games (CoG), 1-8, 2019 | 16 | 2019 |
| Verifying concurrent graph algorithms A Raad, A Hobor, J Villard, P Gardner Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 15 | 2016 |
| DOM: specification and client reasoning A Raad, JF Santos, P Gardner Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 14 | 2016 |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
