Ori Lahav - POPL 2021

Sun 17 - Fri 22 January 2021 Online

Registered user since Tue 27 Oct 2015

Name: Ori Lahav

Affiliation: Tel Aviv University

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

Contributions

POPL 2021	Verifying Observational Robustness Against a C11-style Memory Model Co-chair in Selection Committee within the Student Research Competition-track Taming x86-TSO Persistency Student Research Competition Co-Chair in Organizing Committee
Show activities from other conferences