Ori Lahav

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 158 citations · Full text

Engineering, Computer Engineering, Computer Science +14

A promising semantics for relaxed-memory concurrency

Jeehoon Kang, Chung-Kil Hur, Ori Lahav et al. · 2016 · 140 citations · Full text

Computing, Computer Engineering, Computer Science +17

Effective stateless model checking for C/C++ concurrency

Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas et al. · Proceedings of the ACM on Programming Languages · 2017 · 106 citations · Full text

Computing, Computer Engineering, Computer Science +14

Taming release-acquire consistency

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis · 2016 · 92 citations

Computing, Computer Engineering, Computer Science +15

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 78 citations · Full text

Computing, Computer Science, Formal Methods +15