Katara: synthesizing CRDTs with verified lifting.

Shadaj Laddad Conor Power Mae Milano Alvin Cheung Joseph M. Hellerstein

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

wavelet transform
lifting scheme
data structure
feature space
multiresolution
cost function
image database