Sign in

Katara: synthesizing CRDTs with verified lifting.

Shadaj LaddadConor PowerMae MilanoAlvin CheungJoseph M. Hellerstein
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • wavelet transform
  • lifting scheme
  • data structure
  • feature space
  • multiresolution
  • cost function
  • image database