Registered user since Wed 1 Nov 2017

Name: James Riely

Affiliation: DePaul University

POPL 2018 Activities

• 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 in VMCAI 2018
• Author of Transactions in Relaxed Memory Architectures within the Research Papers-track in POPL 2018
• Show activities from other conferences