Toggle navigation
Sign in
Sign up
conf.researchr.org
/
James Riely
conf.researchr.org general profile
POPL 2018 profile
POPL 2022 profile
PPoPP 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Wed 1 Feb 09:22