Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roland Meyer
conf.researchr.org general profile
PLDI 2023 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Tue 12 May 2020
Name:
Roland Meyer
Country:
Germany
Affiliation:
TU Braunschweig
Personal website:
https://www.tcs.cs.tu-bs.de
Contributions
2025
PriSC
Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the PriSC 2025-track
POPL
Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the POPL-track
Committee Member in Program Committee within the POPL-track
VMCAI
Committee Member in Program Committee within the VMCAI 2025-track
2024
VMCAI
Committee Member in Program Committee within the VMCAI 2024-track
2023
SPLASH
Author of Static Analysis of Memory Models for SMT Encodings within the OOPSLA-track
PLDI
Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track
2022
APLAS
Author of Model-based Fault Classification for Automotive Software within the APLAS-track
SPLASH
Author of CAAT: Consistency as a Theory within the OOPSLA-track
Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
POPL
Committee Member in Program Committee within the POPL-track
2020
POPL
Author of Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation within the Research Papers-track
Share
x
Thu 12 Jun 17:03
