Language Specifiaction and Program Verification

Azalea was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She then moved to the Max Planck Institute for Software Systems (Kaiserslautern) working a postdoctoral researcher with Derek Dreyer and Viktor Vafeiadis on the ERC RustBelt project. In 2020, Azalea joined the faculty at Imperial College London as a lecturer.

Group Publications

1. Data Consistency in Transactional Storage Systems: a Centralised Approach

   • Shale Xiong
   • Andrea Cerone
   • Azalea Raad
   • Philippa Gardner

   ECOOP 2020

2. Abstraction, Refinement and Concurrent Reasoning

   • Azalea Raad

   Ph.D. Thesis, Imperial College London, 2017

3. Verifying Concurrent Graph Algorithms

   • Azalea Raad
   • Aquinas Hobor
   • Jules Villard
   • Philippa Gardner

   Asian Symposium on Prograaming Languages and Systems (APLAS) 2016

4. DOM: Specification and Client Reasoning

   • Azalea Raad
   • José Fragoso Santos
   • Philippa Gardner

   Asian Symposium on Programming Languages and Systems (APLAS) 2016

5. CoLoSL: Concurrent Local Subjective Logic

   • Azalea Raad
   • Jules Villard
   • Philippa Gardner

   ESOP 2015

6. Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

   • Philippa Gardner
   • Azalea Raad
   • Mark J. Wheelhouse
   • Adam Wright

   Mathematical Foundations of Programming Semantics (MFPS) 2014