Ori Lahav

Ori Lahav

Tel Aviv University - Tel Aviv / Israel
Others
AD Scientific Index ID: 521834
אוניברסיטת תל־אביב
person_outline Ori Lahav's MOST POPULAR ARTICLES
1-) Repairing sequential consistency in C/C++11O Lahav, V Vafeiadis, J Kang, CK Hur, D DreyerPLDI 2017, 618-632, 20171842017
2-) A promising semantics for relaxed-memory concurrencyJ Kang, CK Hur, O Lahav, V Vafeiadis, D DreyerPOPL 2017, 175-189, 20171712017
3-) Verifying reachability in networks with mutable datapathsA Panda, O Lahav, K Argyraki, M Sagiv, S ShenkerNSDI 2017, 2017133*2017
4-) Effective stateless model checking for C/C++ concurrencyM Kokologiannakis, O Lahav, K Sagonas, V VafeiadisProceedings of the ACM on Programming Languages 2 (POPL 2018), 20171512017
5-) Taming release-acquire consistencyO Lahav, N Giannarakis, V VafeiadisPOPL 2016, 649-662, 20161452016