Yotam Dvir

Postdoctoral researcher in Ori Lahav’s lab, Tel Aviv University

This website does not track you, and functions with scripts blocked.

About

I am a postdoctoral researcher in Ori Lahav’s lab at Tel Aviv University, working on programming language semantics. My Ph.D. thesis, advised by Ohad Kammar and Ori Lahav, develops monadic and algebraic denotational semantics for concurrent shared state, using Brookes-style traces adapted to relaxed memory.

Research interests

  • Denotational semantics
  • Shared-state concurrency and weak memory models
  • Algebraic effects and monads
  • Mechanized metatheory (Agda, Rocq)

Publications

  1. FoSSaCS 2025

    Two-sorted Algebraic Decompositions of Brookes’s Shared-State Denotational Semantics

    Yotam Dvir, Ohad Kammar, Ori Lahav, and Gordon Plotkin

    28th International Conference on Foundations of Software Science and Computation Structures, ETAPS 2025

  2. TOPLAS 2025

    A Brookes-Style Denotational Semantics for Release/Acquire Concurrency

    Yotam Dvir, Ohad Kammar, and Ori Lahav

    ACM Transactions on Programming Languages and Systems

  3. ESOP 2024

    A Denotational Approach to Release/Acquire Concurrency

    Yotam Dvir, Ohad Kammar, and Ori Lahav

    33rd European Symposium on Programming, ETAPS 2024

  4. APLAS 2022

    An Algebraic Theory for Shared-State Concurrency

    Yotam Dvir, Ohad Kammar, and Ori Lahav

    20th Asian Symposium on Programming Languages and Systems, SPLASH 2022

    Awarded the Boaz Trakhtenbrot Centennial Scholarship

  5. TABLEAUX 2019

    First-Order Quasi-Canonical Proof Systems

    Yotam Dvir and Arnon Avron

    International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Recent presentations

  1. Monadic and Algebraic Denotational Semantics for Concurrent Shared State

    Invited talk, Programming Languages Research Seminar, University of Tartu, Estonia

  2. A Denotational Approach to Release/Acquire Concurrency

    Talk and poster, ESOP @ ETAPS, University of Luxembourg; accompanying the ESOP 2024 paper

  3. A Denotational Approach to Release/Acquire Concurrency

    Poster, POPL 2024 Student Research Competition, IET London

  4. A Denotational Approach to Release/Acquire Concurrency

    Talk, GALOP @ POPL, IET London

  5. An Algebraic Theory for Shared-State Concurrency

    Talk, APLAS @ SPLASH, University of Auckland; accompanying the APLAS 2022 paper

Earlier presentations, with slides and abstracts, are on the research page.

Contact