Roland Meyer -

Registered user since Tue 12 May 2020

Name:Roland Meyer

Country:Germany

Affiliation:TU Braunschweig

Personal website: http://www.tu-bs.de/tcs

Contributions

2026

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

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

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

2019

APLAS

Ordinary PC member in Program Committee within the Research Papers-track

TACAS

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