Collaborated with:V.B.F.Gomes D.P.Mulligan A.R.Beresford Adam Wiggins Peter van Hardenberg Mark McGranaghan
Talks about:distribut (1) softwar (1) consist (1) verifi (1) system (1) strong (1) eventu (1) spite (1) local (1) first (1)
Person: Martin Kleppmann
DBLP: Kleppmann:Martin
Contributed to:
2017
2019Wrote 2 papers:
- OOPSLA-2017-GomesKMB #consistency #distributed #verification
- Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.
- Onward-2019-KleppmannWHM
- Local-first software: you own your data, in spite of the cloud (MK, AW, PvH, MM), pp. 154–178.