Azalea Raad

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Finding real bugs in big programs with incorrectness logic

Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Persistency semantics of the Intel-x86 architecture

Azalea Raad and others (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Model checking for weakly consistent libraries

Michalis Kokologiannakis and others (2019) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

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

Azalea Raad and others (2019) · Association for Computing Machinery (ACM)

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

Azalea Raad and others (2018) · Association for Computing Machinery (ACM)