Write a Blog >>
ECOOP 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) / Ori Lahav
Ori Lahav

Registered user since Tue 27 Oct 2015

Name: Ori Lahav

Affiliation: MPI-SWS

Contributions

PLDI 2017Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
ECOOP 2017Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track
Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile