Roy Margalit

According to our database, Roy Margalit authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Putting Weak Memory in Order via a Promising Intermediate Representation.

Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav

Proc. ACM Program. Lang., 2023

2021

Verifying observational robustness against a c11-style memory model.

Roy Margalit, Ori Lahav

Proc. ACM Program. Lang., 2021

2019

Robustness against release/acquire semantics.

Ori Lahav, Roy Margalit

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019