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

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
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingChapterpeer-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 proceedingConference contributionpeer-review

    Open Access