POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / James Riely
James Riely

Registered user since Wed 1 Nov 2017

Name:James Riely
Affiliation:DePaul University

Contributions

VMCAI 2018 Session Chair of Verifying Protocols and Systems (part of VMCAI 2018)
On abstraction and compositionality for weak-memory linearisability
POPL 2018 Transactions in Relaxed Memory Architectures
Show activities from other conferences

POPL 2018-profile
View general profile