Sun 15 - Sat 21 November 2020 Online Conference
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


SPLASH 2020 Session Chair of F-1A (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
ECOOP 2020 Data Consistency in Transactional Storage Systems: A Centralised Semantics
Show activities from other conferences

SPLASH 2020-profile
View general profile