Research output per year
Research output per year
Fingerprint
Dive into the research topics where Ori Lahav is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 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
-
A Programming Model for Disaggregated Memory over CXL
Assa, G., Lumme, M., Bürgi, L., Friedman, M. & Lahav, O., 22 Mar 2026, ASPLOS 2026 - Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. Association for Computing Machinery, p. 41-58 18 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2-A).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Causal-Broadcast Memory
Karniel, A. & Lahav, O., 2026, Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Krebbers, R. (ed.). Springer Science and Business Media Deutschland GmbH, p. 373-400 28 p. (Lecture Notes in Computer Science; vol. 16501 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
K and KT: an analytic non-deterministic view
Lahav, O. & Zohar, Y., Jun 2026, In: Logic Journal of the IGPL. 34, 3, jzag001.Research output: Contribution to journal › Article › peer-review
Open Access -
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency
Dvir, Y., Kammar, O. & Lahav, O., 27 May 2025, In: ACM Transactions on Programming Languages and Systems. 47, 2, 7.Research output: Contribution to journal › Article › peer-review
Open Access -
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