Yotam Dvir

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

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

Research

Publications and presentations, newest first. Each title opens a page with the abstract and all materials.

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

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

  6. A Monad for Shared State

    Talk, HOPE @ ICFP, Online

  7. First-Order Quasi-Canonical Proof Systems

    Talk, TABLEAUX, Middlesex University; accompanying the TABLEAUX 2019 paper

  8. A Framework for Information Processing

    Talk, ISRALOG, University of Haifa