We gratefully acknowledge support from
the Simons Foundation and member institutions.

Shadaj Laddad is qualified to endorse.

Katara: Synthesizing CRDTs with Verified Lifting

Shadaj Laddad: Is registered as an author of this paper.
Can endorse for cs.DC, cs.PL. (why?)

Conor Power, Mae Milano, Alvin Cheung and Joseph M. Hellerstein are not registered as owners of this paper. (why?)