Items where Author is "Lahav, Ori"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Conference or Workshop Item (A Paper)

Kang, Jeehoon and Hur, Chung-Kil and Lahav, Ori and Vafeiadis, Viktor and Dreyer, Derek
(2017) A promising semantics for relaxed-memory concurrency.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Podkopaev, Anton and Lahav, Ori and Vafeiadis, Viktor
(2017) Promising Compilation to ARMv8 POP.
In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.
Conference: ECOOP European Conference on Object-Oriented Programming

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori and Vafeiadis, Viktor
(2017) Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.
In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.
Conference: ECOOP European Conference on Object-Oriented Programming

Lahav, Ori and Giannarakis, Nick and Vafeiadis, Viktor
(2016) Taming release-acquire consistency.
In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Lahav, Ori and Vafeiadis, Viktor
(2016) Explaining Relaxed Memory Models with Program Transformations.
In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings.
Conference: FM International Symposium on Formal Methods (was Formal Methods Europe FME)

Lahav, Ori and Vafeiadis, Viktor
(2015) Owicki-Gries Reasoning for Weak Memory Models.
In: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II.
Conference: ICALP International Colloquium on Automata Languages and Programming

Article

Kokologiannakis, Michalis and Lahav, Ori and Sagonas, Konstantinos and Vafeiadis, Viktor
(2018) Effective stateless model checking for C/C++ concurrency.
PACMPL, 2 (POPL). 17:1–17:32.

This list was generated on Sun Nov 28 00:04:45 2021 CET.