I am a lecturer at the Department of Computing of Imperial College London. My research is in the area of programming languages and verification, spanning several topics including non-volatile memory, persistency semantics, weak memory models, stateless model checking and program logics.
Before joining Imperial College, I was a postdoctoral researcher at the Max Planck Institute for Software Systems in Germany (2017-2019). I completed my PhD at Imperial College in 2017.
For more information please visit my website on SoundAndComplete.org.
Kokologiannakis M, Raad A, Vafeiadis V, 2019, Effective lock handling in stateless model checking., Proceedings of the Acm on Programming Languages, Vol:3, ISSN:2475-1421, Pages:173:1-173:26
Raad A, Wickerson J, Vafeiadis V, 2019, Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models, Proceedings of the Acm on Programming Languages, ISSN:2475-1421
et al., 2021, Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, ACM, Pages:16-31
et al., 2020, Persistency semantics of the Intel-x86 architecture, ACM Principles of Programming Languages, Association for Computing Machinery (ACM), Pages:11:1-11:31, ISSN:2475-1421
et al., 2020, Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., Springer, Pages:225-252
Kokologiannakis M, Raad A, Vafeiadis V, 2019, Model checking for weakly consistent libraries., PLDI19, Association for Computing Machinery (ACM), Pages:96-110
et al., 2019, On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models, ACM Principles of Programming Languages, Association for Computing Machinery (ACM), Pages:68: 1-68: 31, ISSN:2475-1421
Raad A, Vafeiadis V, 2018, Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model., ACM Object-Oriented Programming, Systems, Languages & Applications (OOPSLA18), Association for Computing Machinery (ACM), Pages:137:1-137:27, ISSN:2475-1421
Raad A, Lahav O, Vafeiadis V, 2018, On Parallel Snapshot Isolation and Release/Acquire Consistency., Springer, Pages:940-967