Concepedia

Ori Lahav

OL

Statistics

Publications

29

Citations

1.1K

H-Index

20

Active since

2013

Affiliations

Tel Aviv University(Current)

Max Planck Institute for Software Systems

Seoul National University

Reichman University

Uppsala University

Ori Lahav is an author at Tel Aviv University specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationComputer ArchitectureSystem Software

Publications per year

2013–2023

29

Publications

29

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 154 citations

Engineering, Verification, Computer Architecture +20

A promising semantics for relaxed-memory concurrency

Jeehoon Kang, Chung-Kil Hur, Ori Lahav et al. · 2016 · 136 citations

Concurrent Programming Languages, Promising Semantics, Engineering +21

Effective stateless model checking for C/C++ concurrency

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

Program Checking, Engineering, Verification +20

Taming release-acquire consistency

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

Software Maintenance, C11 Memory Model, Engineering +28

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 · 77 citations · Full text

1–5 of 29