conf.researchr.org / James Riely
James Riely

Registered user since Wed 1 Nov 2017

Name: James Riely

Affiliation: DePaul University

Contributions

PPoPP 2019Author of Modular Transactions: Bounding Mixed Races in Space and Time within the Main Conference-track
VMCAI 2018Session 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
POPL 2018Author of Transactions in Relaxed Memory Architectures within the Research Papers-track