default search action
Azalea Raad
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Azalea Raad
, Julien Vanegue
Non-termination Proving at Scale. Proc. ACM Program. Lang. 8(OOPSLA2): 246-274 (2024) - [j15]Paulo Emílio de Vilhena
Extending the C/C++ Memory Model with Inline Assembly. Proc. ACM Program. Lang. 8(OOPSLA2): 1081-1107 (2024) - [j14]Guillaume Ambal
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. Proc. ACM Program. Lang. 8(OOPSLA2): 1982-2009 (2024) - [c23]Azalea Raad:
Principles of Persistent Programming (Invited Talk). CONCUR 2024: 2:1-2:1 - [c22]Azalea Raad:
Under-Approximation for Scalable Bug Detection (Keynote). CPP 2024: 1 - [c21]Azalea Raad
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 150-179 - [c20]Azalea Raad
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 180-184 - [c19]Léo Stefanesco, Azalea Raad, Viktor Vafeiadis:
Specifying and Verifying Persistent Libraries. ESOP (2) 2024: 185-211 - [c18]Vasileios Klimis
Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE 2024: 82-86 - [i10]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 abs/2405.18575 (2024) - [i9]Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad:
Extending the C/C++ Model with Inline Assembly. CoRR abs/2408.17208 (2024) - 2023
- [j13]Kyeongmin Cho
Memento: A Framework for Detectable Recoverability in Persistent Memory. Proc. ACM Program. Lang. 7(PLDI): 292-317 (2023) - [j12]Emanuele D'Osualdo
The Path to Durable Linearizability. Proc. ACM Program. Lang. 7(POPL): 748-774 (2023) - [c17]Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn:
A General Approach to Under-Approximate Reasoning About Concurrent Programs. CONCUR 2023: 25:1-25:17 - [i8]Léo Stefanesco, Azalea Raad, Viktor Vafeiadis:
Specifying and Verifying Persistent Libraries. CoRR abs/2306.01614 (2023) - [i7]Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR abs/2312.13828 (2023) - [i6]Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev:
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports 13(10): 50-64 (2023) - 2022
- [j11]Quang Loc Le
Finding real bugs in big programs with incorrectness logic. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022) - [j10]Azalea Raad
Concurrent incorrectness separation logic. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [j9]Azalea Raad
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - [j8]Michael Cook
Hyperstate Space Graphs. IEEE Trans. Games 14(3): 435-445 (2022) - [c16]Eleni Vafeiadi Bila
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP 2022: 234-261 - [i5]Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson:
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR abs/2201.05860 (2022) - [i4]Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis:
The Path to Durable Linearizability. CoRR abs/2211.07631 (2022) - 2021
- [j7]Michalis Kokologiannakis
PerSeVerE: persistency semantics for verification under ext4. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021) - [c15]Kyeongmin Cho
Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. PLDI 2021: 16-31 - [i3]Hans-Juergen Boehm, Ori Lahav, Azalea Raad:
Foundations of Persistent Programming (Dagstuhl Seminar 21462). Dagstuhl Reports 11(10): 94-110 (2021) - 2020
- [j6]Azalea Raad, Ori Lahav
Persistent Owicki-Gries reasoning: a program logic for reasoning about persistent programs on Intel-x86. Proc. ACM Program. Lang. 4(OOPSLA): 151:1-151:28 (2020) - [j5]Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4(POPL): 11:1-11:31 (2020) - [c14]Azalea Raad, Josh Berdine, Hoang-Hai Dang
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. CAV (2) 2020: 225-252 - [c13]Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner:
Data Consistency in Transactional Storage Systems: A Centralised Semantics. ECOOP 2020: 21:1-21:31
2010 – 2019
- 2019
- [j4]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): 135:1-135:27 (2019) - [j3]Michalis Kokologiannakis
Effective lock handling in stateless model checking. Proc. ACM Program. Lang. 3(OOPSLA): 173:1-173:26 (2019) - [j2]Azalea Raad, Marko Doko
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models. Proc. ACM Program. Lang. 3(POPL): 68:1-68:31 (2019) - [c12]Michael Cook, Azalea Raad:
Hyperstate Space Graphs for Automated Game Analysis. CoG 2019: 1-8 - [c11]Michalis Kokologiannakis
Model checking for weakly consistent libraries. PLDI 2019: 96-110 - [c10]Azalea Raad, Ori Lahav
On the Semantics of Snapshot Isolation. VMCAI 2019: 1-23 - [i2]Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner:
Data Consistency in Transactional Storage Systems: a Centralised Approach. CoRR abs/1901.10615 (2019) - 2018
- [j1]Azalea Raad, Viktor Vafeiadis
Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model. Proc. ACM Program. Lang. 2(OOPSLA): 137:1-137:27 (2018) - [c9]Michael Cook, Simon Colton, Azalea Raad:
Inferring Design Constraints From Game Ruleset Analysis. CIG 2018: 1-8 - [c8]Azalea Raad, Ori Lahav
On Parallel Snapshot Isolation and Release/Acquire Consistency. ESOP 2018: 940-967 - [i1]Azalea Raad, Ori Lahav, Viktor Vafeiadis:
On the Semantics of Snapshot Isolation. CoRR abs/1805.06196 (2018) - 2016
- [b1]Azalea Raad:
Abstraction, refinement and concurrent reasoning. Imperial College London, UK, 2016 - [c7]Azalea Raad, Aquinas Hobor, Jules Villard
Verifying Concurrent Graph Algorithms. APLAS 2016: 314-334 - [c6]Azalea Raad, José Fragoso Santos
DOM: Specification and Client Reasoning. APLAS 2016: 401-422 - 2015
- [c5]Azalea Raad, Jules Villard
CoLoSL: Concurrent Local Subjective Logic. ESOP 2015: 710-735 - 2014
- [c4]Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright:
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. MFPS 2014: 147-166 - 2013
- [c3]Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow:
Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications 2013: 284-293 - 2011
- [c2]Azalea Raad, Sophia Drossopoulou:
A sip of the Chalice. FTfJP@ECOOP 2011: 2:1-2:30 - [c1]Simon Colton, Michael Cook, Azalea Raad:
Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) 2011: 223-233
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: