Roy Margalit

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Theoretical Framework

Conceptual Graphs

Intermediate Representation

Top Venues

Proc. ACM Program. Lang.

Publications

Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Putting Weak Memory in Order via a Promising Intermediate Representation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Roy Margalit, Ori Lahav
Verifying observational robustness against a c11-style memory model. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ori Lahav, Roy Margalit
Robustness against release/acquire semantics. PLDI (2019)