Travelled to:1 × Austria
1 × India
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:V.Vafeiadis Anton Podkopaev D.Dreyer A.Raad Y.Zohar ∅ Roy Margalit M.Doko J.Kang C.Hur N.Immerman M.Sagiv M.Baaz A.Zamansky N.Giannarakis Michalis Kokologiannakis Konstantinos Sagonas K.Svendsen J.Pichon-Pharabod J.Kaiser Hoang-Hai Dang Lovro Rozic O.Padon A.Karbyshev S.Shoham S.Itzhaky A.Banerjee A.Nanevski
Talks about:consist (6) memori (5) semant (4) releas (4) acquir (4) model (4) weak (4) concurr (3) reason (3) promis (3)
Person: Ori Lahav
DBLP: Lahav:Ori
Contributed to:
2015
2015
20142014
20132012
2018
20172016
20172017201820192019Wrote 17 papers:
- ICALP-v2-2015-LahavV #memory management #modelling #reasoning
- Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
- POPL-2015-PadonIKLSS #policy
- Decentralizing SDN Policies (OP, NI, AK, OL, MS, SS), pp. 663–676.
- IJCAR-2014-LahavZ #calculus #satisfiability
- SAT-Based Decision Procedure for Analytic Pure Sequent Calculi (OL, YZ), pp. 76–90.
- POPL-2014-ItzhakyBILNS #composition #effectiveness #reasoning
- Modular reasoning about heap paths via effectively propositional formulas (SI, AB, NI, OL, AN, MS), pp. 385–396.
- LICS-2013-Lahav #logic
- From Frame Properties to Hypersequent Rules in Modal Logics (OL), pp. 408–417.
- IJCAR-2012-BaazLZ #calculus #effectiveness #semantics
- Effective Finite-Valued Semantics for Labelled Calculi (MB, OL, AZ), pp. 52–66.
- ESOP-2018-RaadLV #consistency #on the #parallel
- On Parallel Snapshot Isolation and Release/Acquire Consistency (AR, OL, VV), pp. 940–967.
- ESOP-2018-SvendsenPDLV #logic #semantics
- A Separation Logic for a Promising Semantics (KS, JPP, MD, OL, VV), pp. 357–384.
- ECOOP-2017-KaiserDDLV #consistency #logic #memory management #reasoning
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (JOK, HHD, DD, OL, VV), p. 29.
- ECOOP-2017-PodkopaevLV #compilation
- Promising Compilation to ARMv8 POP (AP, OL, VV), p. 28.
- POPL-2016-LahavGV #consistency
- Taming release-acquire consistency (OL, NG, VV), pp. 649–662.
- PLDI-2017-LahavVKHD #consistency
- Repairing sequential consistency in C/C++11 (OL, VV, JK, CKH, DD), pp. 618–632.
- POPL-2017-KangHLVD #concurrent #semantics
- A promising semantics for relaxed-memory concurrency (JK, CKH, OL, VV, DD), pp. 175–189.
- POPL-2018-Kokologiannakis #c #c++ #concurrent #effectiveness #model checking
- Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.
- PLDI-2019-LahavM #robust #semantics
- Robustness against release/acquire semantics (OL, RM), pp. 126–141.
- POPL-2019-PodkopaevLV #hardware #memory management #modelling #programming language
- Bridging the gap between programming languages and hardware weak memory models (AP, OL, VV), p. 31.
- POPL-2019-RaadDRLV #concurrent #consistency #correctness #declarative #library #memory management #modelling #on the #specification #verification
- On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.