Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roy Margalit
conf.researchr.org general profile
PLDI 2019 profile
POPL 2021 profile
POPL 2022 profile
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
Share
x
Fri 3 Feb 10:59