Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ori Lahav
conf.researchr.org general profile
APLAS 2023 profile
ICFP 2021 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
PPoPP 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
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
Share
x
Fri 2 Jun 21:25