Roy Margalit

I am a PhD student in the Programming Languages group at School of Computer Science Tel Aviv University, advised by Dr. Ori Lahav.

My current areas of research are programming languages and verification, with a focus on concurrency and relaxed memory models. I have also researched Graph Databases and MANET.

Contact Info

Email

First_name dot Last_name @cs.tau.ac.il

Address

School of Computer Science, Tel Aviv University, Tel Aviv, 6997801 Israel

Publications

• Putting Weak Memory in Order via a Promising Intermediate Representation
  Lee, Sung-Hwan, Cho, Minki, Margalit, Roy, Hur, Chung-Kil, Lahav, Ori
  Proc. ACM Program. Lang., 7.PLDI (2023)
  [10.1145/3591297] [Preprint] [Full]
• Verifying Observational Robustness against a C11-Style Memory Model
  Roy Margalit, Ori Lahav
  Proc. ACM Program. Lang., 5.POPL (2021)
  [10.1145/3434285] [Preprint] [Full] [Tool]
• Robustness against release/acquire semantics
  Ori Lahav, Roy Margalit
  Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. (2019)
  [10.1145/3314221.3314604] [Preprint] [Full] [Tool]
• Network bottlenecks in OLSR based ad-hoc networks
  Nadav Schweitzer, Ariel Stulman, Tirza Hirst, Roy David Margalit, Asaf Shabtai
  Ad Hoc Networks, 88 (2019)
  [10.1016/j.adhoc.2018.12.002]
• Contradiction Based Gray-Hole Attack Minimization for Ad-Hoc Networks
  Nadav Schweitzer, Ariel Stulman, Roy David Margalit, Asaf Shabtai
  IEEE Trans. Mob. Comput., 16.8 (2017)
  [10.1109/TMC.2016.2622707]
• Mitigating Denial of Service Attacks in OLSR Protocol Using Fictitious Nodes
  Nadav Schweitzer, Ariel Stulman, Asaf Shabtai, Roy David Margalit
  IEEE Trans. Mob. Comput., 15.1 (2016)
  [10.1109/TMC.2015.2409877]
• Detecting bottlenecks on-the-fly in OLSR based MANETs
  N. Schweitzer, A. Stulman, T. Hirst, R. D. Margalit, M. Armon, A. Shabtai
  2014 IEEE 28th Convention of Electrical Electronics Engineers in Israel (IEEEI) (2014)
  [10.1109/EEEI.2014.7005901]

Teaching

• Operating Systems (Winter 2019-)
• Computer Architecture (Spring 2019)
• Mini Project in Windows Systems (Winter 2018)
• Mini Projects in Databases (Winter 2018)