Verified Software

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

   Proceedings of the 34^th European Conference on Object-Oriented Programming (ECOOP 2020)

2. Abstraction, Refinement and Concurrent Reasoning

   • Azalea Raad

   Ph.D. Thesis, Imperial College London

3. DOM: Specification and Client Reasoning

   • Azalea Raad
   • José Fragoso Santos
   • Philippa Gardner

   Proceedings of the 13^th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422

4. Verifying Concurrent Graph Algorithms

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

   Proceedings of the 13^th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 314–334

5. CoLoSL: Concurrent Local Subjective Logic

   • Azalea Raad
   • Jules Villard
   • Philippa Gardner

   Proceedings of the 24^th European Symposium on Programming (ESOP’15), pp. 710–735

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

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

   Proceedings of the 30^th Conference on the Mathematical Foundations of Programming Semantics (MFPS’14), vol. 308, pp. 147–166