Ori Lahav - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Sun 18 - Fri 23 June 2017 Barcelona, Spain

Registered user since Tue 27 Oct 2015

Name:Ori Lahav

Affiliation:MPI-SWS

Contributions

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

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