( en | de | ru )

 

Disambiguation of "Raad, Azalea"

Author of the publication

copydeleteadd this publication to your clipboard
Specifying and Verifying Persistent Libraries.

, , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 185-211. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raad Muslih

Elie Raad

Ráad Mossa Kadhum

George Raad

Eliana Raad

 

Other publications of authors with the same name

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models., , , , and . Proc. ACM Program. Lang., 3 (POPL): 68:1-68:31 (2019)Hyperstate Space Graphs., and . IEEE Trans. Games, 14 (3): 435-445 (2022)Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)., , , , and . CoRR, (2023)The Path to Durable Linearizability., , and . CoRR, (2022)Abstraction, refinement and concurrent reasoning.. Imperial College London, UK, (2016)British Library, EThOS.Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., , , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 225-252. Springer, (2020)Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores., , and . Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)Effective lock handling in stateless model checking., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 173:1-173:26 (2019)Foundations of Persistent Programming (Dagstuhl Seminar 21462)., , and . Dagstuhl Reports, 11 (10): 94-110 (2021)Data Consistency in Transactional Storage Systems: a Centralised Approach., , , and . CoRR, (2019)