Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yotam Dvir
conf.researchr.org general profile
ICFP 2021 profile
POPL 2024 profile
SPLASH 2022 profile
Registered user since Fri 29 May 2020
Name:
Yotam Dvir
Affiliation:
Tel Aviv University
Personal website:
https://yotamdvir.github.io
Contributions
2024
POPL
Author of A Denotational Approach to Release/Acquire Concurrency within the Student Research Competition-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2024-track
GaLoP
Author of A Denotational Approach to Release/Acquire Concurrency within the GALOP 2024-track
2022
APLAS
Author of An Algebraic Theory for Shared-State Concurrency within the APLAS-track
2021
HOPE
Author of A Monad for Shared-State Concurrency within the HOPE 2021-track
Share
x
Sun 22 Dec 02:06