Published September 15, 2022 | Version v1
Software Open

Katara: Synthesizing CRDTs with Verified Lifting

Creators

  • 1. University of California, Berkeley

Description

The software artifact accompanying the OOPSLA'22 paper "Katara: Synthesizing CRDTs with Verified Lifting". This includes the sources of our synthesis algorithm, VM images that can be used for testing the software, and an artifact overview that walks through the steps needed to evaluate the synthesis algorithm.

Files

overview.pdf

Files (2.3 GB)

Name Size Download all
md5:e3e603becf632474f813ffa9da506fe3
1.1 GB Download
md5:d8761057a19a9ff8a376079ef0533739
1.1 GB Download
md5:db03941e71550df725ba5e46bab93a67
139.3 kB Preview Download
md5:e4e4aba5a75e3faba1b3b2a49f0e9c8f
787.9 kB Preview Download

Additional details

Related works

Is derived from
10.1145/3563336 (DOI)