Azalea Raad

Registered user since Wed 7 Jan 2015

Name: Azalea Raad

Country: United Kingdom

Affiliation: MPI-SWS, Germany

Personal website: http://www.SoundAndComplete.org

Research interests: Weak Memory Concurrency, Non-Volatile Memory, Program Logics, Separation Logic, Concurrent Reasoning, Verification

Contributions

PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
Accessibility Chair in Organizing Committee
POPL 2020Committee Member in Program Committee within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
PLMW 2019Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
SPLASH 2019Author 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 2019Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
PLDI 2019Committee 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 2019Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track
ICFP 2019Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2018Author of Persistence Semantics for Weak Memory within the OOPSLA-track
HOPE 2017Committee Member in Program Committee within the HOPE 2017-track
IWACO 2017Committee Member in Program Committee within the IWACO 2017-track
ESOP 2015Author of CoLoSL: Concurrent Local Subjective Logic within the ESOP-track