Login / Signup
Yotam Dvir
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 3
Top Topics
Nested Transactions
Theorem Prover
Theoretical Basis
Data Flow
Top Venues
ESOP (2)
TABLEAUX
APLAS
</>
Publications
</>
Yotam Dvir
,
Ohad Kammar
,
Ori Lahav
A Denotational Approach to Release/Acquire Concurrency.
ESOP (2)
(2024)
Yotam Dvir
,
Ohad Kammar
,
Ori Lahav
An Algebraic Theory for Shared-State Concurrency.
APLAS
(2022)
Yotam Dvir
,
Arnon Avron
First-Order Quasi-canonical Proof Systems.
TABLEAUX
(2019)