Fingerprint
Dive into the research topics where Roy David Margalit is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Dynamic Robustness Verification against Weak Memory
Margalit, R., Kokologiannakis, M., Itzhaky, S. & Lahav, O., 10 Jun 2025, In: Proceedings of the ACM on Programming Languages. 9, 174.Research output: Contribution to journal › Article › peer-review
Open Access -
Robustness against the C/C++11 Memory Model
Margalit, R., 11 Sep 2024, ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Christakis, M. & Pradel, M. (eds.). Association for Computing Machinery, Inc, p. 1881-1885 5 p. (ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Putting Weak Memory in Order via a Promising Intermediate Representation
Lee, S. H., Cho, M., Margalit, R., Hur, C. K. & Lahav, O., 6 Jun 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 1872-1895 24 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Verifying observational robustness against a c11-style memory model
Margalit, R. & Lahav, O., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 4.Research output: Contribution to journal › Article › peer-review
Open Access17 Scopus citations -
Network bottlenecks in OLSR based ad-hoc networks
Schweitzer, N., Stulman, A., Hirst, T., Margalit, R. D. & Shabtai, A., 15 May 2019, In: Ad Hoc Networks. 88, p. 36-54 19 p.Research output: Contribution to journal › Article › peer-review
17 Scopus citations