| 2026 | ESOP | Specifying and Verifying RDMA Synchronisation. | Guillaume Ambal, Max Stupple, Brijesh Dongol, Azalea Raad |
| 2025 | ECOOP | Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. | Pedro Carrott, Sacha-lie Ayoun, Azalea Raad |
| 2025 | ECOOP | IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. | Matt Griffin, Brijesh Dongol, Azalea Raad |
| 2025 | ESOP | Sufficient Conditions for Robustness of RDMA Programs. | Guillaume Ambal, Ori Lahav, Azalea Raad |
| 2024 | CONCUR | Principles of Persistent Programming (Invited Talk). | Azalea Raad |
| 2024 | CPP | Under-Approximation for Scalable Bug Detection (Keynote). | Azalea Raad |
| 2024 | ESOP | Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | ESOP | Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | ESOP | Specifying and Verifying Persistent Libraries. | Lo Stefanesco, Azalea Raad, Viktor Vafeiadis |
| 2024 | ICSE | Challenges in Empirically Testing Memory Persistency Models. | Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad |
| 2023 | CONCUR | A General Approach to Under-Approximate Reasoning About Concurrent Programs. | Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn |
| 2022 | ESOP | View-Based Owicki-Gries Reasoning for Persistent x86-TSO. | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson |
| 2021 | PLDI | Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. | Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang |
| 2020 | CAV | Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. | Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard |
| 2020 | ECOOP | Data Consistency in Transactional Storage Systems: A Centralised Semantics. | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2019 | PLDI | Model checking for weakly consistent libraries. | Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis |
| 2019 | VMCAI | On the Semantics of Snapshot Isolation. | Azalea Raad, Ori Lahav, Viktor Vafeiadis |
| 2018 | ESOP | On Parallel Snapshot Isolation and Release/Acquire Consistency. | Azalea Raad, Ori Lahav, Viktor Vafeiadis |
| 2016 | APLAS | Verifying Concurrent Graph Algorithms. | Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |
| 2016 | APLAS | DOM: Specification and Client Reasoning. | Azalea Raad, Jos Fragoso Santos, Philippa Gardner |
| 2015 | ESOP | CoLoSL: Concurrent Local Subjective Logic. | Azalea Raad, Jules Villard, Philippa Gardner |
| 2011 | ECOOP | A sip of the Chalice. | Azalea Raad, Sophia Drossopoulou |