Ori Lahav

Cited by

	All	Since 2017
Citations	1497	1310
h-index	18	18
i10-index	28	24

340

170

255

20102011201220132014201520162017201820192020202120224 7 3 25 42 29 66 150 194 280 189 327 168

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Anton PodkopaevJetBrains ResearchVerified email at jetbrains.com
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Jeehoon KangAssistant Professor of KAIST School of ComputingVerified email at kaist.ac.kr
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Mooly SagivTel Aviv UniversityVerified email at acm.org
Anna ZamanskyAssociate Professor, Information Systems Dept. University of HaifaVerified email at is.haifa.ac.il
Aurojit PandaNYUVerified email at cs.nyu.edu
Katerina ArgyrakiAssociate Professor at the School of Computer and Communication Sciences, EPFL, SwitzerlandVerified email at epfl.ch
Scott ShenkerProfessor of Computer Science, UC BerkeleyVerified email at icsi.berkeley.edu
Hai DangMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Neil ImmermanCollege of Computer and Information Sciences, UMass, AmherstVerified email at cs.umass.edu
Sung-Hwan LeeSeoul National UniversityVerified email at sf.snu.ac.kr
Agata CiabattoniVienna University of TechnologyVerified email at logic.at
Michalis KokologiannakisMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Konstantinos SagonasUppsala University and National Technical University of Athens (on leave)Verified email at it.uu.se
Artem KhyzhaArmVerified email at arm.com
Nick GiannarakisAmazon Web ServicesVerified email at wisc.edu

Ori Lahav

Tel Aviv University

Verified email at tau.ac.il - Homepage

Concurrency Relaxed Memory Models Programming Languages Program Analysis and Verification Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Repairing sequential consistency in C/C++11 O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer PLDI 2017, 618-632, 2017	166	2017
A promising semantics for relaxed-memory concurrency J Kang, CK Hur, O Lahav, V Vafeiadis, D Dreyer POPL 2017, 175-189, 2017	158	2017
Verifying reachability in networks with mutable datapaths A Panda, O Lahav, K Argyraki, M Sagiv, S Shenker NSDI 2017, 2017	123*	2017
Effective stateless model checking for C/C++ concurrency M Kokologiannakis, O Lahav, K Sagonas, V Vafeiadis Proceedings of the ACM on Programming Languages 2 (POPL 2018), 2017	100	2017
Taming release-acquire consistency O Lahav, N Giannarakis, V Vafeiadis POPL 2016, 649-662, 2016	95	2016
Strong logic for weak memory: reasoning about release-acquire consistency in Iris JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis ECOOP 2017, 2017	92	2017
Owicki-Gries reasoning for weak memory models O Lahav, V Vafeiadis ICALP 2015, 311-323, 2015	87	2015
Bridging the gap between programming languages and hardware weak memory models A Podkopaev, O Lahav, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	64	2019
From frame properties to hypersequent rules in modal logics O Lahav LICS 2013, 408-417, 2013	56	2013
Explaining relaxed memory models with program transformations O Lahav, V Vafeiadis FM 2016, 479-495, 2016	40	2016
Modular reasoning about heap paths via effectively propositional formulas S Itzhaky, A Banerjee, N Immerman, O Lahav, A Nanevski, M Sagiv POPL 2014, 385-396, 2014	37	2014
A separation logic for a promising semantics K Svendsen, J Pichon-Pharabod, M Doko, O Lahav, V Vafeiadis ESOP 2018, 357-384, 2018	36	2018
Decentralizing SDN policies O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham POPL 2015, 663-676, 2015	35	2015
A unified semantic framework for fully structural propositional sequent systems O Lahav, A Avron ACM Transactions on Computational Logic (TOCL) 14 (4), 1-33, 2013	33	2013
Finite-valued semantics for canonical labelled calculi M Baaz, O Lahav, A Zamansky Journal of automated reasoning 51 (4), 401-430, 2013	32	2013
Promising 2.0: global optimizations in relaxed memory concurrency SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	28	2020
On library correctness under weak memory consistency: Specifying and verifying concurrent libraries under declarative consistency models A Raad, M Doko, L Rožić, O Lahav, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019	23	2019
Robustness against release/acquire semantics O Lahav, R Margalit Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	19	2019
Promising compilation to ARMv8 POP A Podkopaev, O Lahav, V Vafeiadis ECOOP 2017, 2017	18	2017
Automated support for the investigation of paraconsistent and other logics A Ciabattoni, O Lahav, L Spendier, A Zamansky LFCS 2013, 119-133, 2013	16	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors