Concepedia

Azalea Raad

AR

13

Publications

442

Citations

13

H-Index

2018

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Imperial College London

Tel Aviv University

University College London

Meta (United Kingdom)

Azalea Raad is an author at Max Planck Institute for Software Systems specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisComputer EngineeringVerificationSystem SoftwareComputer Architecture

Publications per year

2018–2022

13

Publications

13

Model checking for weakly consistent libraries

Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis · 2019 · 79 citations

Program Checking, Engineering, Verification +22

Persistency semantics of the Intel-x86 architecture

Azalea Raad, John Wickerson, Gil Neiger et al. · Proceedings of the ACM on Programming Languages · 2019 · 58 citations · Full text

Non-volatile Memory, Engineering, Memory Design +22

Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models

Azalea Raad, John Wickerson, Viktor Vafeiadis · Proceedings of the ACM on Programming Languages · 2019 · 47 citations · Full text

Non-volatile Memory, Engineering, Persistency Semantics +24

Finding real bugs in big programs with incorrectness logic

Quang Loc Le, Azalea Raad, Jules Villard et al. · Proceedings of the ACM on Programming Languages · 2022 · 47 citations · Full text

Software Maintenance, Program Checking, Engineering +22

Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model

Azalea Raad, Viktor Vafeiadis · Proceedings of the ACM on Programming Languages · 2018 · 34 citations · Full text

Engineering, Persistent Memory, Persistence Semantics +19

Rows per page

1–5 of 13