| Model checking for weakly consistent libraries M Kokologiannakis, A Raad, V Vafeiadis Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 95 | 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 | 87 | 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 | 84 | 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 | 75 | 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 | 63 | 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 | 56 | 2022 |
| 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 | 50 | 2018 |
| 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 | 45 | 2019 |
| Colosl: Concurrent local subjective logic A Raad, J Villard, P Gardner Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 43 | 2015 |
| 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 | 31 | 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 | 27 | 2020 |
| Ludic considerations of tablet-based evo-art S Colton, M Cook, A Raad Applications of Evolutionary Computation: EvoApplications 2011: EvoCOMNET …, 2011 | 26 | 2011 |
| 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 | 25 | 2022 |
| 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 | 23 | 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 | 23 | 2018 |
| 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 | 21 | 2021 |
| 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 | 21 | 2019 |
| Hyperstate space graphs for automated game analysis M Cook, A Raad 2019 IEEE Conference on Games (CoG), 1-8, 2019 | 19 | 2019 |
| 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 | 18 | 2022 |
| Verifying concurrent graph algorithms A Raad, A Hobor, J Villard, P Gardner Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 18 | 2016 |
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
