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

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
CPP 2020Committee Member in Program Committee within the CPP 2020-track
POPL 2020Student Research Competition Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Student Research Competition-track
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
Session Chair of Software Verification and Synthesis (part of VMCAI 2019)
Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track
PPoPP 2019ERC member in Extended Review Committee
PLDI 2019Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track
POPL 2019Committee Member in Selection Committee within the Student Research Competition-track
Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track
Session Chair of Concurrency (part of Research Papers)
POPL 2018Author of Effective Stateless Model Checking for C/C++ Concurrency within the Research Papers-track
Author of Effective Stateless Model Checking for C/C++ Concurrency within the Artifact Evaluation-track
POPL 2017Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
PLDI 2017Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
ECOOP 2017Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track
Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track
POPL 2016Author of Taming Release-Acquire Consistency within the Research Papers-track