Banyan: Coordination-Free Distributed Transactions over Mergeable Types. - Shashank Shekhar Dubey; K. C. Sivaramakrishnan; Thomas Gazagnaire; Anil Madhavapeddy (APLAS, 2020)