Ori Lahav

Registered user since Tue 27 Oct 2015

Name:Ori Lahav
Country:Israel
Affiliation:Tel Aviv University

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