conf.researchr.org / 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
2024
SPLASH
- Author of Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures within the OOPSLA 2024-track
- Author of Extending the C/C++ Memory Model with Inline Assembly within the OOPSLA 2024-track
- Committee Member in Review Committee within the OOPSLA 2024-track
VMCAI
The Future of Weak Memory
2023
PLDI
2022
2021
SPLASH
PLDI
POPL
2020
ECOOP
PLDI
CPP
POPL
2019
Principles and Practice of Parallel Programming
POPL
- 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)