Dr Martin Kleppmann
User ID:mk428
Position:Research Associate
E-mail:mk428@cam.ac.uk
Homepage:https://www.cl.cam.ac.uk /~mk428
College:Corpus Christi
Publications

1. Martin Kleppmann, "Moving Elements in List CRDTs," 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2020

2. Peter van Hardenberg, Martin Kleppmann, "PushPin: Towards Production-Quality Peer-to-Peer Collaboration," 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2020

3. Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan, "Local-first software: You own your data, in spite of the cloud," pp. 154-178, Oct 2019

4. Stephan A. Kollmann, Martin Kleppmann, Alastair R. Beresford, "Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing," Privacy Enhancing Technologies Sympoisum (PETS), Stockholm, Sweden, Jul 2019

5. Martin Kleppmann, Alastair R. Beresford, Boerge Svingen, "Online Event Processing: Achieving consistency where distributed transactions have failed," Communications of the ACM, vol. 62, no. 5, pp. 43-49, ACM, May 2019

6. Diana A. Vasile, Martin Kleppmann, Daniel R. Thomas, Alastair R. Beresford., "Ghost trace on the wire? Using key evidence for informed decisions," 27th International Workshop on Security Protocols, Apr 2019

7. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford., "Interleaving anomalies in collaborative text editors," 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019

8. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Proof Document)," Technical Report, Archive of Formal Proofs, May 2018

9. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)," Technical Report, arXiv:1805.04263, May 2018

10. Martin Kleppmann, "Apache Samza," Encyclopedia of Big Data Technologies, Springer, Mar 2018

11. Martin Kleppmann, Stephan A. Kollmann, Diana A. Vasile, Alastair R. Beresford, "From Secure Messaging to Secure Collaboration," 26th International Workshop on Security Protocols (SPW), Mar 2018

12. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "Verifying Strong Eventual Consistency in Distributed Systems," Proceedings of the ACM on Programming Languages (PACMPL), vol. 1, no. OOPSLA, Oct 2017

13. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes," Technical Report, Archive of Formal Proofs, Jul 2017

14. Martin Kleppmann, Alastair R. Beresford, "A Conflict-Free Replicated JSON Datatype," IEEE Transactions on Parallel and Distributed Systems, Apr 2017

15. Martin Kleppmann, "Designing Data-Intensive Applications," O'Reilly Media, Mar 2017

16. Martin Kleppmann, Conrad Irwin, "Strengthening public key authentication against key theft," 9th International Conference on Passwords, Cambridge, UK, Dec 2015

17. Martin Kleppmann, Jay Kreps, "Kafka, Samza and the Unix philosophy of distributed data," IEEE Data Engineering Bulletin, Dec 2015

18. Martin Kleppmann, "A critique of the CAP theorem," Technical Report, arXiv:1509.05393, Sep 2015

19. Martin Kleppmann, "Simulation of colliding constrained rigid bodies," Technical Report, UCAM-CL-TR-683, University of Cambridge, Computer Laboratory, Apr 2007