Dr. Azalea Raad

I am a lecturer at the Department of Computing of Imperial College London.

Previously I was a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Prof. Derek Dreyer and Dr. Viktor Vafeiadis.

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, check out my projects page here and do not hesitate to contact me!

You can contact me on MyFirstName@imperial.ac.uk.

For a list of my publications see here, Google Scholar or DBLP .

News

Nov 2020

Our Dagstuhl seminar proposal on Foundations of Persistent Programming has been accepted to take place in 2021!

Oct 2020

Our paper on model checking persistency semantics has been accepted to POPL 2021!

Jul 2020

Our persistent program logic (POG) paper has been accepted to OOPSLA 2020!

May 2020

Our paper on transactional consistency has been accepted to ECOOP 2020!

Apr 2020

Our paper on incorrectness separation logic (ISL) has been accepted to CAV 2020!

Feb 2020

We have been awarded a VeTSS grant for our proposal on NVM Validation!

Jan 2020

I'm attending POPL 2020 in New Orleans to present our NVM paper!

Dec 2019

I will serve on the OOPSLA 2020 program committee!

Oct 2019

Our NVM paper on Intel-x86 persistency semantics has been accepted to POPL 2020!