Venue. APLAS Asian Symposium on Programming Languages and Systems · Conference · Springer 2022 An Algebraic Theory for Shared-State Concurrency dvir-2022-anAPLAS · 2022 DOI · pldb 2019 TxForest: A DSL for Concurrent Filestores dilorenzo-2019-txforestAPLAS · 2019 PDF · DOI · arXiv · pldb