Azalea Raad
Orcid: 0000-0002-2319-3242
According to our database1,
Azalea Raad
authored at least 47 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
5
10
5
4
5
2
2
4
1
6
1
1
1
2
3
2
2
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures.
Proc. ACM Program. Lang., 2024
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour.
CoRR, 2024
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
2023
Proc. ACM Program. Lang., 2023
Dagstuhl Reports, 2023
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version).
CoRR, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores.
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
CoRR, 2022
Proceedings of the Programming Languages and Systems, 2022
2021
Proc. ACM Program. Lang., 2021
Dagstuhl Reports, 2021
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
2020
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86.
Proc. ACM Program. Lang., 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models.
Proc. ACM Program. Lang., 2019
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.
Proc. ACM Program. Lang., 2019
CoRR, 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the IEEE Conference on Games, 2019
2018
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model.
Proc. ACM Program. Lang., 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, 2018
2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
2015
Proceedings of the Programming Languages and Systems, 2015
2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
2013
Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013
2011
Proceedings of the Applications of Evolutionary Computation, 2011
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011