ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Thu 3 Jul 2025 15:00 - 15:30 at M207 - Session 1

In this talk, we present our ongoing work on replicated protocol data types (PRDTs) [ 1]. PRDTs explore how we can model distributed protocols (such as consensus protocols) with replicated data types (RDTs) by treating the state of the data type as a store for local knowledge. By following this principle, merging multiple RDT states can be seen as advancing the state of knowledge, thereby potentially enabling the next phase of the protocol. PRDTs differ from traditional RDTs because they showcase how we can not only replicate data, but instead use replicated state to model complex multistep computations/protocols performed by multiple parties.

Thu 3 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:45
Session 1PLF+PLAID at M207
14:00
30m
Talk
Compositional Implementation and Verification of Swarms - A Tool Demo
PLF+PLAID
Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina
14:30
30m
Talk
Optimizing CRDTs for Low Memory Environments
PLF+PLAID
Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:00
30m
Talk
PRDTs: Implementing Distributed Protocols with Replicated Data Types
PLF+PLAID
Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt
:
:
:
: