Radha Jagadeesan -

Registered user since Wed 1 Nov 2017

Name:Radha Jagadeesan

Affiliation:DePaul University

Contributions

SPLASH 2021	Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the SIGPLAN Papers-track
SPLASH 2020	Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
PPoPP 2019	Author of Modular Transactions: Bounding Mixed Races in Space and Time within the Main Conference-track
VMCAI 2018	Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track
POPL 2018	Author of Transactions in Relaxed Memory Architectures within the Research Papers-track