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?)