Abstract is missing.
- Probabilistic Causal Contexts for Scalable CRDTsPedro Henrique Fernandes, Carlos Baquero. 1-8 [doi]
- Trees and Turtles: Modular Abstractions for State Machine Replication ProtocolsNatalie Neamtu, Haobin Ni, Robbert van Renesse. 9-15 [doi]
- Verify, And Then Trust: Data Inconsistency Detection in ZooKeeperSushant Mane, Fangmin Lyu, Benjamin Reed. 16-22 [doi]
- Generic Checkpointing Support for Stream-based State-Machine ReplicationLaura Lawniczak, Marco Ammon, Tobias Distler. 23-29 [doi]
- Performance Trade-offs in Transactional SystemsRafael Soares, Luís E. T. Rodrigues. 30-36 [doi]
- A Study of Semantics for CRDT-based Collaborative SpreadsheetsElena Yanakieva, Philipp Bird, Annette Bieniusa. 37-43 [doi]
- AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model CheckerAndrew Jeffery, Richard Mortier. 44-50 [doi]
- [Short paper] Towards improved collaborative text editing CRDTs by using Natural Language ProcessingJim Bauwens, Kevin De Porre, Elisa Gonzalez Boix. 51-55 [doi]
- For-Each Operations in Collaborative AppsMatthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller. 56-62 [doi]
- On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data TypesFlorian Jacob, Hannes Hartenstein. 63-69 [doi]
- Data Management for mobile applications dependent on geo-located dataNuno M. Santos, Luís M. Silva, João Leitão 0001, Nuno M. Preguiça. 70-76 [doi]
- Linearizable Low-latency Reads at the EdgeJoshua Guarnieri, Aleksey Charapko. 77-83 [doi]