AutoCouch: a JSON CRDT framework. - Pascal Grosch; Roman Krafft; Marcel Wölki; Annette Bieniusa (PaPoC@EuroSys, 2020)