Ori Lahav -

Registered user since Tue 27 Oct 2015

Name:Ori Lahav

Country:Israel

Affiliation:Tel Aviv University

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

Contributions

VMCAI 2024	Co-chair in Program Committee within the VMCAI 2024-track
APLAS 2023	PC Member in Program Committee within the APLAS 2023-track
PLDI 2023	Author of Putting Weak Memory in Order via a Promising Intermediate Representation within the PLDI Research Papers-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023	Author of Kater: Automating Weak Memory Model Metatheory and Consistency Checking within the POPL-track Author of An Operational Approach to Library Abstraction under Relaxed Memory Concurrency within the POPL-track
APLAS 2022	Author of An Algebraic Theory for Shared-State Concurrency within the APLAS-track
PLDI 2022	Author of Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency within the PLDI-track
POPL 2022	Committee Member in Program Committee within the POPL-track
SPLASH 2021	Author of Decidable Verification under a Causally Consistent Shared Memory within the SIGPLAN Papers-track Author of Making Weak Memory Models Fair within the OOPSLA-track
HOPE 2021	Author of A Monad for Shared-State Concurrency within the HOPE 2021-track
PLDI 2021	Author of Modular Data-Race-Freedom Guarantees in the Promising Semantics within the PLDI-track
POPL 2021	Author of Verifying Observational Robustness Against a C11-style Memory Model within the POPL-track Co-chair in Selection Committee within the Student Research Competition-track Author of Taming x86-TSO Persistency within the POPL-track Student Research Competition Co-Chair in Organizing Committee
SPLASH 2020	Author of Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 within the OOPSLA-track
ECOOP 2020	Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
PLDI 2020	Author of Decidable Verification under a Causally Consistent Shared Memory within the PLDI Research Papers-track Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track Session Chair of Automated verification and SAT solving (part of CPP 2020)
POPL 2020	Student Research Competition Co-Chair in Organizing Committee Co-chair in Selection Committee within the Student Research Competition-track
VMCAI 2020	Session Chair of Papers 8 (part of VMCAI 2020) PC Member in Program Committee within the VMCAI 2020-track
PLDI 2019	Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track
PPoPP 2019	ERC member in Extended Review Committee
POPL 2019	Committee 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)
VMCAI 2019	Committee 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
POPL 2018	Author 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
ECOOP 2017	Author 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
PLDI 2017	Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
POPL 2017	Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
POPL 2016	Author of Taming Release-Acquire Consistency within the Research Papers-track