Roy Margalit -

Not registered as user yet

Name:Roy Margalit

Affiliation:Tel Aviv University, Israel

Contributions

POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2021	Author of Verifying Observational Robustness Against a C11-style Memory Model within the POPL-track
PLDI 2019	Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track