Summary
I am a senior lecturer at the Department of Computing of Imperial College London. As of October 2021, I am a UKRI Future Leader Fellow. Between September 2020 and July 2022 I was a consulting research scientist at Facebook, London. As of September 2022, I am a research consultant at Bloomberg.
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.
I am always eager to supervise enthusiastic candidates for PhD and Masters positions. If you are interested in programming languages theory, concurrency and formal methods, then get in touch with me!
For more information please visit my website on SoundAndComplete.org.
For a list of my publications see here, Google Scholar or DBLP.
You can access my curriculum vitae here.
Selected Publications
Journal Articles
Le QL, Raad A, Villard J, et al. , 2022, Finding real bugs in big programs with incorrectness logic, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-27
Raad A, Maranget L, Vafeiadis V, 2022, Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-31
Raad A, Berdine J, Dreyer D, et al. , 2022, Concurrent incorrectness separation logic, Proceedings of the Acm on Programming Languages, Vol:6, ISSN:2475-1421, Pages:1-29
Raad A, Wickerson J, Neiger G, et al. , 2020, Persistency semantics of the Intel-x86 architecture, Proceedings of the Acm on Programming Languages (popl2020), Vol:4, ISSN:2475-1421, Pages:11:1-11:31
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
Conference
Raad A, Berdine J, Dang H-H, 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
Raad A, Doko M, Rozic L, 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