Ori Lahav

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A promising semantics for relaxed-memory concurrency

Jeehoon Kang and others (2017)

Effective stateless model checking for C/C++ concurrency

Michalis Kokologiannakis and others (2017) · Association for Computing Machinery (ACM)

Repairing sequential consistency in C/C++11

Ori Lahav and others (2017) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation