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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency
Singh, A. K. & Lahav, O., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 1542-1572 31 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
Kokologiannakis, M., Lahav, O. & Vafeiadis, V., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 544-572 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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 proceeding › Conference contribution › peer-review
Open Access -
An Algebraic Theory for Shared-State Concurrency
Dvir, Y., Kammar, O. & Lahav, O., 2022, Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Proceedings. Sergey, I. (ed.). Springer Science and Business Media Deutschland GmbH, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13658 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices
Lahav, O. & Zohar, Y., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 468-485 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access