Yotam Dvir
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Denotational Approach to Release/Acquire Concurrency | GALOP 2024 | 2024-01-14 |
Presents a directionally adequate denotational semantics for Release/Acquire memory using Brookes-style trace semantics adapted to a view-based machine; traces… | ||
| An Algebraic Theory for Shared-State Concurrency | APLAS 2022 | 2022-12-05 |
Presents a concrete monadic denotational model for a higher‑order language with shared‑state interleaving concurrency, proving a representation theorem that… | ||
| nothing matches | ||