Ori Lahav

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Compositional Semantics

Transaction Processing

Concurrency Control

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Reports

Publications

Gal Assa, Michal Friedman, Ori Lahav
A Programming Model for Disaggregated Memory over CXL. CoRR (2024)
Abhishek Kr Singh, Ori Lahav
Decidable Verification under Localized Release-Acquire Concurrency. TACAS (3) (2024)
Mikhail Svyatlovskiy, Shai Mermelstein, Ori Lahav
Compositional Semantics for Shared-Variable Concurrency. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Armando Castañeda, Gregory V. Chockler, Brijesh Dongol, Ori Lahav
What Cannot Be Implemented on Weak Memory? CoRR (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Yotam Dvir, Ohad Kammar, Ori Lahav
A Denotational Approach to Release/Acquire Concurrency. ESOP (2) (2024)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) (2024)
Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports 13 (10) (2023)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR (2023)