• Sign in
  • Sign up
conf.researchr.org / Roland Meyer
  • APLAS 2019 profile
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2019 profile
No Photo

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
xFri 23 May 03:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up