James Riely -

Registered user since Wed 1 Nov 2017

Name:James Riely

Country:United States

Affiliation:DePaul University

Contributions

POPL 2022	Author of The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency within the POPL-track Session Chair of Separation Logic (part of POPL)
SPLASH 2021	Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the SIGPLAN Papers-track Session Chair of SLE and DLS 2020 (part of SIGPLAN Papers)
SPLASH 2020	Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track
PPoPP 2019	Author of Modular Transactions: Bounding Mixed Races in Space and Time within the Main Conference-track
POPL 2018	Author of Transactions in Relaxed Memory Architectures within the Research Papers-track
VMCAI 2018	Session Chair of Verifying Protocols and Systems (part of VMCAI 2018) Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track