Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roland Meyer
conf.researchr.org general profile
APLAS 2019 profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2019 profile
Registered user since Mon 10 Jun 2019
Name:
Roland Meyer
Contributions
2019
APLAS
Ordinary PC member in Program Committee within the Research Papers-track
TACAS
Session Chair of Synthesis (part of TACAS 2019)
Committee Member in Program Committee within the TACAS 2019-track
POPL
Author of Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis within the Research Papers-track
2016
VMCAI
Author of Pointer Race Freedom within the VMCAI-track
Share
x
Sun 22 Dec 04:00