Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Ori Lahav
Ori Lahav

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

POPL 2021-profile
View general profile