ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Azalea Raad
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

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