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