A sip of the Chalice. - Azalea Raad; Sophia Drossopoulou (FTfJP@ECOOP, 2011)

Ludic Considerations of Tablet-Based Evo-Art. - Simon Colton; Michael Cook 001; Azalea Raad (EvoApplications (2), 2011)

Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. - Michael Cook 001; Simon Colton; Azalea Raad; Jeremy Gow (EvoApplications, 2013)

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. - Philippa Gardner; Azalea Raad; Mark J. Wheelhouse; Adam Wright (MFPS, 2014)

CoLoSL: Concurrent Local Subjective Logic. - Azalea Raad; Jules Villard; Philippa Gardner (ESOP, 2015)

Verifying Concurrent Graph Algorithms. - Azalea Raad; Aquinas Hobor; Jules Villard; Philippa Gardner (APLAS, 2016)

DOM: Specification and Client Reasoning. - Azalea Raad; José Fragoso Santos; Philippa Gardner (APLAS, 2016)

Abstraction, refinement and concurrent reasoning. - Azalea Raad (2016)

Inferring Design Constraints From Game Ruleset Analysis. - Michael Cook 001; Simon Colton; Azalea Raad (CIG, 2018)

On Parallel Snapshot Isolation and Release/Acquire Consistency. - Azalea Raad; Ori Lahav 001; Viktor Vafeiadis (ESOP, 2018)

Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. - Azalea Raad; Viktor Vafeiadis (Proc. ACM Program. Lang., 2018)

Hyperstate Space Graphs for Automated Game Analysis. - Michael Cook 001; Azalea Raad (CoG, 2019)

Model checking for weakly consistent libraries. - Michalis Kokologiannakis; Azalea Raad; Viktor Vafeiadis (PLDI, 2019)

On the Semantics of Snapshot Isolation. - Azalea Raad; Ori Lahav 001; Viktor Vafeiadis (VMCAI, 2019)

Data Consistency in Transactional Storage Systems: a Centralised Approach. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (CoRR, 2019)

Effective lock handling in stateless model checking. - Michalis Kokologiannakis; Azalea Raad; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. - Azalea Raad; Marko Doko; Lovro Rozic; Ori Lahav 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. - Azalea Raad; John Wickerson; Viktor Vafeiadis (Proc. ACM Program. Lang., 2019)

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 (CAV (2), 2020)

Data Consistency in Transactional Storage Systems: A Centralised Semantics. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (ECOOP, 2020)

Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86. - Azalea Raad; Ori Lahav 001; Viktor Vafeiadis (Proc. ACM Program. Lang., 2020)

Persistency semantics of the Intel-x86 architecture. - Azalea Raad; John Wickerson; Gil Neiger; Viktor Vafeiadis (Proc. ACM Program. Lang., 2020)

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. - Kyeongmin Cho; Sung-Hwan Lee 001; Azalea Raad; Jeehoon Kang (PLDI, 2021)

Foundations of Persistent Programming (Dagstuhl Seminar 21462). - Hans-Juergen Boehm; Ori Lahav 001; Azalea Raad (Dagstuhl Reports, 2021)

PerSeVerE: persistency semantics for verification under ext4. - Michalis Kokologiannakis; Ilya Kaysin; Azalea Raad; Viktor Vafeiadis (Proc. ACM Program. Lang., 2021)

View-Based Owicki-Gries Reasoning for Persistent x86-TSO. - Eleni Vafeiadi Bila; Brijesh Dongol; Ori Lahav 001; Azalea Raad; John Wickerson (ESOP, 2022)

View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). - Eleni Vafeiadi Bila; Brijesh Dongol; Ori Lahav 001; Azalea Raad; John Wickerson (CoRR, 2022)

Finding real bugs in big programs with incorrectness logic. - Quang Loc Le; Azalea Raad; Jules Villard; Josh Berdine; Derek Dreyer; Peter W. O'Hearn (Proc. ACM Program. Lang., 2022)

Concurrent incorrectness separation logic. - Azalea Raad; Josh Berdine; Derek Dreyer; Peter W. O'Hearn (Proc. ACM Program. Lang., 2022)

Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. - Azalea Raad; Luc Maranget; Viktor Vafeiadis (Proc. ACM Program. Lang., 2022)

Hyperstate Space Graphs. - Michael Cook 001; Azalea Raad (IEEE Trans. Games, 2022)

A General Approach to Under-Approximate Reasoning About Concurrent Programs. - Azalea Raad; Julien Vanegue; Josh Berdine; Peter W. O'Hearn (CONCUR, 2023)

Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (CoRR, 2023)

Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). - Ori Lahav 001; Azalea Raad; Joseph Tassarotti; Viktor Vafeiadis; Anton Podkopaev (Dagstuhl Reports, 2023)

Memento: A Framework for Detectable Recoverability in Persistent Memory. - Kyeongmin Cho; Seungmin Jeon; Azalea Raad; Jeehoon Kang (Proc. ACM Program. Lang., 2023)

The Path to Durable Linearizability. - Emanuele D'Osualdo; Azalea Raad; Viktor Vafeiadis (Proc. ACM Program. Lang., 2023)

Principles of Persistent Programming (Invited Talk). - Azalea Raad (CONCUR, 2024)

Under-Approximation for Scalable Bug Detection (Keynote). - Azalea Raad (CPP, 2024)

Intel PMDK Transactions: Specification, Validation and Concurrency. - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (ESOP (2), 2024)

Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. - Azalea Raad; Ori Lahav 001; John Wickerson; Piotr Balcer; Brijesh Dongol (ESOP (2), 2024)

Specifying and Verifying Persistent Libraries. - Léo Stefanesco; Azalea Raad; Viktor Vafeiadis (ESOP (2), 2024)

Challenges in Empirically Testing Memory Persistency Models. - Vasileios Klimis; Alastair F. Donaldson; Viktor Vafeiadis; John Wickerson; Azalea Raad (NIER@ICSE, 2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. - Vasileios Klimis; Alastair F. Donaldson; Viktor Vafeiadis; John Wickerson; Azalea Raad (CoRR, 2024)

Extending the C/C++ Model with Inline Assembly. - Paulo Emílio de Vilhena; Ori Lahav 001; Viktor Vafeiadis; Azalea Raad (CoRR, 2024)

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. - Guillaume Ambal; Brijesh Dongol; Haggai Eran; Vasileios Klimis; Ori Lahav 001; Azalea Raad (Proc. ACM Program. Lang., 2024)

Non-termination Proving at Scale. - Azalea Raad; Julien Vanegue; Peter W. O'Hearn (Proc. ACM Program. Lang., 2024)

Extending the C/C++ Memory Model with Inline Assembly. - Paulo Emílio de Vilhena; Ori Lahav 001; Viktor Vafeiadis; Azalea Raad (Proc. ACM Program. Lang., 2024)

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness. - Pedro Carrott; Sacha-Élie Ayoun; Azalea Raad (ECOOP, 2025)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL. - Matt Griffin; Brijesh Dongol; Azalea Raad (ECOOP, 2025)

Sufficient Conditions for Robustness of RDMA Programs. - Guillaume Ambal; Ori Lahav 001; Azalea Raad (ESOP (1), 2025)

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact). - Pedro Carrott; Sacha-Élie Ayoun; Azalea Raad (Dagstuhl Artifacts Ser., 2025)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). - Matt Griffin; Brijesh Dongol; Azalea Raad (CoRR, 2025)

Bayesian Separation Logic. - Shing Hin Ho; Nicolas Wu; Azalea Raad (CoRR, 2025)