Roy David Margalit

According to our database, Roy David Margalit authored at least 9 papers between 2016 and 2025.

Collaborative distances:

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

2025

Dynamic Robustness Verification Against Weak Memory (Extended Version).

Roy David Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav

CoRR, April, 2025

Dynamic Robustness Verification against Weak Memory.

Roy David Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav

Proc. ACM Program. Lang., 2025

2024

Robustness against the C/C++11 Memory Model.

Roy David Margalit

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Putting Weak Memory in Order via a Promising Intermediate Representation.

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

Proc. ACM Program. Lang., 2023

2021

Verifying observational robustness against a c11-style memory model.

Roy David Margalit, Ori Lahav

Proc. ACM Program. Lang., 2021

2019

Network bottlenecks in OLSR based ad-hoc networks.

Nadav Schweitzer, Ariel Stulman, Tirza Hirst, Roy David Margalit, Asaf Shabtai

Ad Hoc Networks, 2019

Robustness against release/acquire semantics.

Ori Lahav, Roy David Margalit

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

2017

Contradiction Based Gray-Hole Attack Minimization for Ad-Hoc Networks.

Nadav Schweitzer, Ariel Stulman, Roy David Margalit, Asaf Shabtai

IEEE Trans. Mob. Comput., 2017

2016

Mitigating Denial of Service Attacks in OLSR Protocol Using Fictitious Nodes.

Nadav Schweitzer, Ariel Stulman, Asaf Shabtai, Roy David Margalit

IEEE Trans. Mob. Comput., 2016