Katara: Synthesizing CRDTs with Verified Lifting · HackerPapers discussions

Katara: Synthesizing CRDTs with Verified Lifting — mentioned by refset

Mon, 04 Sep 2023 09:54:53 GMT

CRDT synthesis feels like a promising direction, e.g. see "Katara: Synthesizing CRDTs with Verified Lifting"/ https://arxiv.org/abs/2205.12425 / previous discussion https://news.ycombinator.com/item?id=32977887

Paper and discussion history. A mention is not an endorsement.

Katara: Synthesizing CRDTs with Verified Lifting — mentioned by refset

Mon, 06 Feb 2023 14:59:10 GMT

> I'd really love to see some research into deriving CRDT merge semantics from a formal description of application behaviour. I'm no expert, but I believe synthesis approaches are a strong step in that direction: https://arxiv.org/abs/2205.12425

Paper and discussion history. A mention is not an endorsement.

Katara: Synthesizing CRDTs with Verified Lifting — HN submission

Mon, 26 Sep 2022 00:14:17 GMT

Katara: Synthesizing CRDTs with Verified Lifting

86 points; 20 discussion replies on HN. Paper and source history. A submission is not an endorsement.