SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Azalea Raad

Registered user since Wed 7 Jan 2015

Name: Azalea Raad

Affiliation: Imperial College London

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

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

Contributions

ECOOP 2020 Data Consistency in Transactional Storage Systems: A Centralised Semantics
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
Show activities from other conferences

SPLASH 2020-profile
View general profile