• Sign in
  • Sign up
conf.researchr.org / James Riely
  • POPL 2018 profile
  • POPL 2022 profile
  • PPoPP 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xWed 1 Feb 09:22
using conf.researchr.org (v1.58.0)
Support page
Sign Up