SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
SPLASH 2020 (series) / Ori Lahav
Ori Lahav

Registered user since Tue 27 Oct 2015

Name: Ori Lahav

Affiliation: Tel Aviv University, Israel

Personal website: http://www.cs.tau.ac.il/~orilahav/

Contributions

ECOOP 2020Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track
Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
SPLASH 2020Author of Persistent Owicki-Gries Reasoning within the OOPSLA-track
Show activities from other conferences

Using general profile