Dr. Azalea Raad - Homepage (original) (raw)

News

Sep 2024

I have been promoted to Reader (Associate Professor)!

Aug 2023

I will serve on the ESOP 2024 program committee!

Jun 2023

I gave a keynote talk at the Federated Conference on Distributed Computing Techniques (DisCoTec)

Jun 2023

I gave a keynote talk at the Mathematical Foundations of Programming Semantics (MFPS)

Apr 2023

I have been awarded an EPSRC research grant for Safe and Secure Remote Direct Memory Access!

Mar 2023

Our paper on a framework for persistent programming has been accepted to PLDI 2023!

Sep 2022

I have been promoted to Senior Lecturer (Associate Professor)!

Mar 2022

I will serve on the program committee of POPL 2023!

Feb 2022

Our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to OOPSLA 2022!

Jan 2022

Our paper "View-Based Owicki-Gries Reasoning for Persistent x86-TSO" has been accepted to ESOP 2022!

Nov 2021

I will serve on the program committee of ICFP 2022!

Oct 2021

I will serve on the program committee of CAV 2022!

Sep 2021

Our paper on Concurrent Incorrectness Separation Logic has been accepted to POPL 2022!

Sep 2021

Our paper on formalising the semantics of Intel-x86 memory types and non-temporal stores has been accepted to POPL 2022!

Sep 2021

I have been awarded a UKRI Future Leaders Fellowship for my research into the future of persistent memory technology!

May 2021

I have received the Imperial College President's Award for Outstanding Early Career Researcher!

Feb 2020

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