Yotam Dvir

According to our database, Yotam Dvir authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

ACM Trans. Program. Lang. Syst., June, 2025

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics.

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin

Proceedings of the Foundations of Software Science and Computation Structures, 2025

2024

A Denotational Approach to Release/Acquire Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems, 2024

2022

An Algebraic Theory for Shared-State Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2019

First-Order Quasi-canonical Proof Systems.

Yotam Dvir, Arnon Avron

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019