Azalea Raad

Registered user since Wed 7 Jan 2015

Name:Azalea Raad
Affiliation:Imperial College London
Research interests:Weak Memory Concurrency, Non-Volatile Memory, Program Logics, Separation Logic, Concurrent Reasoning, Verification

Contributions

POPL 2022 Student Research Competition Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Student Research Competition-track
PLMW 2021 Session Chair of Session 1 (part of PLMW 2021)
Session Chair of Session 3 (part of PLMW 2021)
Co-chair in Organizing Committee within the PLMW 2021-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
Author of Beyond Weak Memory Consistency: The Challenges of Memory Persistency within the Tutorials-track
Author of Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 within the PLDI-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
POPL 2021 Student Research Competition Co-Chair in Organizing Committee
Author of PerSeVerE: Persistency Semantics for Verification under Ext4 within the POPL-track
Co-chair in Selection Committee within the Student Research Competition-track
ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track
SPLASH 2020 Session Chair of F-1A (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Author of Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 within the OOPSLA-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
Accessibility Chair in Organizing Committee
POPL 2020 Committee Member in Program Committee within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track
Session Chair of Program Logics (part of Research Papers)
PLMW 2019 Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the Posters-track
Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track
Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track
Author of Effective Lock Handling In Stateless Model Checking within the OOPSLA Artifacts-track
Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track
Panelist in Speakers & Panelists within the PLMW-track
VMCAI 2019 Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track
ECOOP 2019 Committee Member in Program Committee within the Research Papers-track
PLDI 2019 Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track
POPL 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track
ICFP 2019 Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2018 Author of Persistence Semantics for Weak Memory within the OOPSLA-track
HOPE 2017 Committee Member in Program Committee within the HOPE 2017-track
IWACO 2017 Committee Member in Program Committee within the IWACO 2017-track
ESOP 2015 Author of CoLoSL: Concurrent Local Subjective Logic within the ESOP-track