A Denotational Approach to Release/Acquire Concurrency ETAPS/ESOP 2024 Yotam Dvir, Ohad Kammar, Ori Lahav April 11, 2024 Abstract Paper Full Slides Poster Publication concurrency weak memory denotational semantics
An Algebraic Theory for Shared-State Concurrency OOPSLA/APLAS 2022 Awarded the Boaz Trakhtenbrot Centennial Scholarship Yotam Dvir, Ohad Kammar, Ori Lahav November 25, 2022 Abstract Paper Slides Youtube Publication concurrency algebraic effects denotational semantics
First-Order Quasi-canonical Proof Systems TABLEAUX 2019 Yotam Dvir, Arnon Avron September 03, 2019 Abstract Paper Publication logic paraconsistency knowledge management