Katara: synthesizing CRDTs with verified lifting

Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, posing a challenge for even seasoned developers. As a result, CRDT development is still largely the domain of academics, w...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2022-10, Vol.6 (OOPSLA2), p.1349-1377
Hauptverfasser:	Laddad, Shadaj, Power, Conor, Milano, Mae, Cheung, Alvin, Hellerstein, Joseph M.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!