Azalea Raad

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 41

Top Venues

Proc. ACM Program. Lang.

CoRR

ESOP (2)

ESOP

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE (2024)
Azalea Raad
Principles of Persistent Programming (Invited Talk). CONCUR (2024)
Azalea Raad
Under-Approximation for Scalable Bug Detection (Keynote). CPP (2024)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
Specifying and Verifying Persistent Libraries. ESOP (2) (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR (2024)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
Specifying and Verifying Persistent Libraries. CoRR (2023)
Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang
Memento: A Framework for Detectable Recoverability in Persistent Memory. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports 13 (10) (2023)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR (2023)
Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn
A General Approach to Under-Approximate Reasoning About Concurrent Programs. CONCUR (2023)
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
The Path to Durable Linearizability. Proc. ACM Program. Lang. 7 (POPL) (2023)
Azalea Raad, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
Concurrent incorrectness separation logic. Proc. ACM Program. Lang. 6 (POPL) (2022)
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP (2022)
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
Finding real bugs in big programs with incorrectness logic. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR (2022)
Azalea Raad, Luc Maranget, Viktor Vafeiadis
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. 6 (POPL) (2022)
Michael Cook, Azalea Raad
Hyperstate Space Graphs. IEEE Trans. Games 14 (3) (2022)
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
The Path to Durable Linearizability. CoRR (2022)
Hans-J. Boehm, Ori Lahav, Azalea Raad
Foundations of Persistent Programming (Dagstuhl Seminar 21462). Dagstuhl Reports 11 (10) (2021)
Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis
PerSeVerE: persistency semantics for verification under ext4. Proc. ACM Program. Lang. 5 (POPL) (2021)
Kyeongmin Cho, Sung Hwan Lee, Azalea Raad, Jeehoon Kang
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. PLDI (2021)
Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter W. O'Hearn, Jules Villard
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. CAV (2) (2020)
Azalea Raad, Ori Lahav, Viktor Vafeiadis
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4 (POPL) (2020)
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
Data Consistency in Transactional Storage Systems: A Centralised Semantics. ECOOP (2020)
Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav, Viktor Vafeiadis
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. Proc. ACM Program. Lang. 3 (POPL) (2019)
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
Data Consistency in Transactional Storage Systems: a Centralised Approach. CoRR (2019)
Azalea Raad, Ori Lahav, Viktor Vafeiadis
On the Semantics of Snapshot Isolation. VMCAI (2019)
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Effective lock handling in stateless model checking. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Model checking for weakly consistent libraries. PLDI (2019)
Michael Cook, Azalea Raad
Hyperstate Space Graphs for Automated Game Analysis. CoG (2019)
Azalea Raad, John Wickerson, Viktor Vafeiadis
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Michael Cook, Simon Colton, Azalea Raad
Inferring Design Constraints From Game Ruleset Analysis. CIG (2018)
Azalea Raad, Ori Lahav, Viktor Vafeiadis
On the Semantics of Snapshot Isolation. CoRR (2018)
Azalea Raad, Ori Lahav, Viktor Vafeiadis
On Parallel Snapshot Isolation and Release/Acquire Consistency. ESOP (2018)
Azalea Raad, Viktor Vafeiadis
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Azalea Raad, José Fragoso Santos, Philippa Gardner
DOM: Specification and Client Reasoning. APLAS (2016)
Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
Verifying Concurrent Graph Algorithms. APLAS (2016)
Azalea Raad, Jules Villard, Philippa Gardner
CoLoSL: Concurrent Local Subjective Logic. ESOP (2015)
Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. MFPS (2014)
Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow
Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications (2013)
Simon Colton, Michael Cook, Azalea Raad
Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) (2011)
Azalea Raad, Sophia Drossopoulou
A sip of the Chalice. FTfJP@ECOOP (2011)

Azalea Raad.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Azalea Raad