20092022

Research activity per year

If you made any changes in Pure these will be visible here soon.

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

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Abstraction for Crash-Resilient Objects

    Khyzha, A. & Lahav, O., 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sergey, I. (ed.). Springer Science and Business Media Deutschland GmbH, p. 262-289 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13240 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Sequential reasoning for optimizing compilers under weak memory concurrency

    Cho, M., Lee, S. H., Lee, D., Hur, C. K. & Lahav, O., 9 Jun 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 213-228 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • View-Based Owicki–Gries Reasoning for Persistent x86-TSO

    Bila, E. V., Dongol, B., Lahav, O., Raad, A. & Wickerson, J., 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sergey, I. (ed.). Springer Science and Business Media Deutschland GmbH, p. 234-261 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13240 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • What's Decidable about Causally Consistent Shared Memory?

    Lahav, O. & Boker, U., Jun 2022, In: ACM Transactions on Programming Languages and Systems. 44, 2, 8.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Making weak memory models fair

    Lahav, O., Namakonov, E., Oberhauser, J., Podkopaev, A. & Vafeiadis, V., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 98.

    Research output: Contribution to journalArticlepeer-review

    Open Access