16 citations · 20 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DB2022★ 1 cited
Keep CALM and CRDT On
Shadaj Laddad, Conor Power, Mae Milano +3
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techni…
cs.PL2022★ 1 cited
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano +2
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, po…