Imperial College London

DrAzaleaRaad

Faculty of EngineeringDepartment of Computing

Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8271azalea.raad Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

I am a lecturer at the Department of Computing of Imperial College LondonMy 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.


Selected Publications

Journal Articles

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

Cho K, Lee S-H, Raad A, 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

Raad A, Wickerson J, Neiger G, 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

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

More Publications