Azalea Raad - POPL 2021

Sun 17 - Fri 22 January 2021 Online

Registered user since Wed 7 Jan 2015

Name: Azalea Raad

Affiliation: Imperial College London

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

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

Contributions

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
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
POPL 2021	Student Research Competition Co-Chair in Organizing Committee PerSeVerE: Persistency Semantics for Verification under Ext4 Co-chair in Selection Committee within the Student Research Competition-track
Show activities from other conferences

Using general profile