Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roy Margalit
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
PLDI 2019 profile
PLDI 2023 profile
PLDI 2025 profile
POPL 2021 profile
POPL 2022 profile
Not registered as user
Name:
Roy Margalit
Country:
Israel
Affiliation:
Tel Aviv University
Contributions
2025
PLDI
Author of Dynamic Robustness Verification against Weak Memory within the PLDI Research Papers-track
2024
ECOOP/ISSTA
Speaker of Robustness against the C/C++11 memory model within the Doctoral Symposium-track
2023
PLDI
Author of Putting Weak Memory in Order via a Promising Intermediate Representation within the PLDI Research Papers-track
2022
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2021
POPL
Author of Verifying Observational Robustness Against a C11-style Memory Model within the POPL-track
2019
PLDI
Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track
Share
x
Mon 16 Jun 03:28
