Azalea Raad was a PhD student with the group, defending her thesis on Abstraction, Refinement and Concurrent Reasoning in February 2017. She is now a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Derek Dreyer and Viktor Vafeiadis and a member of the ERC RustBelt project.

Group Publications

  1. Abstraction, Refinement and Concurrent Reasoning

    Ph.D. Thesis, Imperial College London

  2. DOM: Specification and Client Reasoning

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

  3. Verifying Concurrent Graph Algorithms

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

  4. CoLoSL: Concurrent Local Subjective Logic

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

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

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