No photo of Ori Lahav

View Scopus Profile

Ori Lahav

Professor

Former affiliation
 https://orcid.org/0000-0003-4305-6998
20092025

Research activity 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.
  • 1 Similar Profiles
View full fingerprint

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
Explore network further

  • Sufficient Conditions for Robustness of RDMA Programs

    Ambal, G., Lahav, O. & Raad, A., 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (ed.). Springer Science and Business Media Deutschland GmbH, p. 56-87 32 p. (Lecture Notes in Computer Science; vol. 15694 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Two-sorted algebraic decompositions of Brookes’s shared-state denotational semantics

    Dvir, Y., Kammar, O., Lahav, O. & Plotkin, G., 2025, Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Abdulla, P. A. & Kesner, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 377-398 22 p. (Lecture Notes in Computer Science; vol. 15691 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • A Denotational Approach to Release/Acquire Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 121-149 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency

    Dongol, B., Lahav, O. & Wehrheim, H., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14780).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency

    Raad, A., Lahav, O., Wickerson, J., Balcer, P. & Dongol, B., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 180-184 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
View all 82 Research outputs