SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Tue 24 Oct 2023 15:00 - 15:30 at Room VI - PLF Talks 2

This entry is a combination – you could say a merge – of two independent submissions:

Undo and Redo Support for Replicated Registers

Undo and redo functionality is ubiquitous in collaboration software. In single user settings, undo and redo are well understood. However, when multiple users (concurrently) edit a document, the operation history may become non-linear, and undo and redo are more complex both in terms of their semantics and implementation. We introduce a distinction between undo/redo and a revert operation that takes inspiration from the behavior of current mainstream collaboration software.

CRDTs are a tool to allow for concurrent editing of a shared document without requiring central coordination. A simple CRDT is the multi-valued register, for which we present a novel undo and redo algorithm that implements our identified undo/redo semantics.

Extending JSON CRDT with Move Operations: An Implementation in Automerge

Conflict-Free Replicated Data Types (CRDTs) for JSON allow users to concurrently update a JSON document without introducing any conflicts and automatically merge the updates into a consistent state. However, moving elements in a map or reordering elements in a list for a JSON CRDT is considered hard as it is easy to introduce unexpected results such as duplicates or cycles. In this paper, we implement move operations in Automerge, a CRDT library, and evaluate its performance.

Tue 24 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
PLF Talks 2PLF at Room VI
14:00
30m
Talk
Can local-first really scale at the edge?
PLF
Carlos Baquero HASLab/INESC TEC & University of Minho
14:30
30m
Talk
Local-first at Actyx
PLF
Roland Kuhn Actyx AG, José Duarte Actyx AG
15:00
30m
Talk
Extending Automerge: Undo, Redo, and Move
PLF
Leo Stewen Technical University of Munich, Martin Kleppmann TU Munich, Liangrun Da TU Munich