Registered user since Tue 27 Oct 2015

Name: Ori Lahav

Affiliation: MPI-SWS

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

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